at.logic.gapt.proofs.lkOld
true iff this proof contains a reflexivity axiom or an equational inference
true iff this proof contains a reflexivity axiom or an equational inference