public interface IfFormulaInstantiation
SequentFormula
getConstrainedFormula()
String
toString(Services services)
SequentFormula getConstrainedFormula()
String toString(Services services)