| TacticAst.Reflexivity loc -> status, TacticAst.Reflexivity loc
| TacticAst.Assumption loc -> status, TacticAst.Assumption loc
| TacticAst.Contradiction loc -> status, TacticAst.Contradiction loc
| TacticAst.Reflexivity loc -> status, TacticAst.Reflexivity loc
| TacticAst.Assumption loc -> status, TacticAst.Assumption loc
| TacticAst.Contradiction loc -> status, TacticAst.Contradiction loc