Ensure properties are visible in counterexamples