--- ** Predecessor Estimation ----------------------------------------------------------------------------------------

predecessorEstimationStrategy :: ExpressionSelector F V -> TrsStrategy
predecessorEstimationStrategy rs = T.Apply $ PredecessorEstimation { onSelection = rs }
predecessorEstimationStrategy :: ExpressionSelector F V -> TrsStrategy
predecessorEstimationStrategy rs = T.Apply $ PredecessorEstimation { onSelection = rs }
predecessorEstimationStrategy rs = T.Apply $ PredecessorEstimation { onSelection = rs }