added dummy method to log counterexample