Delete A_Counterexample.cpp