Ensure properties are visible in counterexamples
Merge pull request #141 from chsticksel/develop

Ensure properties are visible in counterexamples