CommandsExhaustedException
ContractionRightMacroRule
CutIntroEHSUnprovableException
CutOccurrenceConfiguration
computeCanonicalSolutions
computeClListOnlyQuantifiedCuts
computeSchematicClauseSet
computeSchematicProjectionTerm
computeStructOnlyQuantifiedCuts
containsEqualityReasoning
containsQuantifierOnLogicalLevel
createContextFormulaOccurrenceWithSubst