CurryInfo: property-prover-2.0.0 / Inference.Simplification: all operations

\\\ allEqual eqPattern failedExpr findBranch freeVarsDup freshRule isFailed isPartCall patVars rnBranchExpr rnExpr rnFunc rnPattern rnProg rnRule simplifyExpr swapAnn takeVars unfold