tm :: M.TrsMode
tm = M.trsMode
  `withStrategies`
    [ T.SD certifySD
    , T.SD runtimeSD
    , T.SD derivationalSD ]
  `withDefaultStrategy` T.deflFun competitionSD
tm :: M.TrsMode
tm = M.trsMode
  `withStrategies`
    [ T.SD certifySD
    , T.SD runtimeSD
    , T.SD derivationalSD ]
  `withDefaultStrategy` T.deflFun competitionSD
tm = M.trsMode
  `withStrategies`
    [ T.SD certifySD
    , T.SD runtimeSD
    , T.SD derivationalSD ]
  `withDefaultStrategy` T.deflFun competitionSD