predecessorEstimationCP :: ExpressionSelector F V -> ComplexityPair -> TrsStrategy
predecessorEstimationCP = T.declFun predecessorEstimationCPDeclaration
predecessorEstimationCP :: ExpressionSelector F V -> ComplexityPair -> TrsStrategy
predecessorEstimationCP = T.declFun predecessorEstimationCPDeclaration
predecessorEstimationCP = T.declFun predecessorEstimationCPDeclaration