predecessorEstimationCP' :: ComplexityPair -> TrsStrategy
predecessorEstimationCP' = T.deflFun predecessorEstimationCPDeclaration
predecessorEstimationCP' :: ComplexityPair -> TrsStrategy
predecessorEstimationCP' = T.deflFun predecessorEstimationCPDeclaration
predecessorEstimationCP' = T.deflFun predecessorEstimationCPDeclaration