predecessorEstimation' :: TrsStrategy
predecessorEstimation' = T.deflFun predecessorEstimationDeclaration
predecessorEstimation' :: TrsStrategy
predecessorEstimation' = T.deflFun predecessorEstimationDeclaration
predecessorEstimation' = T.deflFun predecessorEstimationDeclaration