Command package:quickcheck-state-machine is:exact

Previously symbolically executed command Invariant: the variables must be the variables in the response.