if coq active and provemethod executed, clean coq state