main = RunDefaultStrategyForObligation

runtimecomplexity = runtimecomplexitypreproc : Maybe(CpxRelTrsToCpxTrs) : matchbounds

cpxreltrs = runtimecomplexity

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

matchbounds = Any(
                CpxTrsMatchBounds,
                CpxTrsMatchBoundsTA[STAS = RC_DEFSPLIT, CRS = MYCRS2, MAX_CONFLICTS_TO_RESOLVE = 100000, MAX_TRANSITIONS_OF_A = 200000, MAX_STATES_OF_A = 140000]
              )