predecessorEstimationDeclaration :: T.Declaration (
  '[ T.Argument 'T.Optional (ExpressionSelector F V) ]
   T.:-> TrsStrategy )
predecessorEstimationDeclaration =
  T.declare "predecessorEstimation" description (T.OneTuple selArg) predecessorEstimationStrategy
predecessorEstimationDeclaration :: T.Declaration (
  '[ T.Argument 'T.Optional (ExpressionSelector F V) ]
   T.:-> TrsStrategy )
predecessorEstimationDeclaration =
  T.declare "predecessorEstimation" description (T.OneTuple selArg) predecessorEstimationStrategy
predecessorEstimationDeclaration =
  T.declare "predecessorEstimation" description (T.OneTuple selArg) predecessorEstimationStrategy