Select an invariant
CounterExampleProperty
Invariant