I need you to assert the correctness of the repeated heads graphs and counterexamples in all the tests in this class.