Create Counterexample.cpp