Bug fix in counterexample generation and classes to test bug in fix generation