fixed bug parsing a counterexample