main = RunDefaultStrategyForObligation

runtimecomplexity = runtimecomplexitypreproc : TRSDumpProcessor[OutputDir="./"] : Fail

cpxreltrs = runtimecomplexity

runtimecomplexitypreproc =
  Repeat(0,*,First(CpxTrsDependencyGraph,CpxTrsNestedDefinedSymbol))