ExpansionToResolutionProof
ExpansionTreePrettyPrinter
expansionProofFromInstances
expansionProofsAreClosedUnderSubstitution
expansionProofsAreReplaceable
expansionProofsWithCutAreClosedUnderSubstitution
expansionProofsWithCutAreReplaceable
expansionTreesAreClosedUnderAdmissibleSubstitutions
expansionTreesAreReplaceable
extractFromTSTPCommentsIfNecessary
extractRecSchemFromResProof