Find several counterexamples to an eqc_statem specification