YES
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    badfib: Int -> Unit
    return: Int -> Unit
    w2: (Unit, Unit) -> Unit
  Rules
    w2(return(!x), return(!y)) -> return(+(!x, !y))
    badfib(!x) -> w2(badfib(-(!x, 1)), badfib(-(!x, 2))) [>(!x, 1)]
    badfib(!x) -> return(1) [!x = 1]
    badfib(!x) -> return(1) [<=(!x, 0)]
RPO with precedence:
  {badfib} > {w2} > {= return > <= 2 1 0 - +}

Elapsed Time:  33.43 ms