predecessorEstimation :: ExpressionSelector F V -> TrsStrategy
predecessorEstimation = T.declFun predecessorEstimationDeclaration
predecessorEstimation :: ExpressionSelector F V -> TrsStrategy
predecessorEstimation = T.declFun predecessorEstimationDeclaration
predecessorEstimation = T.declFun predecessorEstimationDeclaration