MAYBE
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    fastfib: Int -> Unit
    return: Int -> Unit
    u: (Int, Int, Int, Int, Int) -> Unit
    v: (Int, Int, Int, Int, Int) -> Unit
  Rules
    v(!num, !a, !b, !c, !i) -> return(!c) [not(<(!i, !num))]
    v(!num, !a, !b, !c, !i) -> v(!num, !b, +(!a, !b), +(!a, !b), +(!i, 1)) [<(!i, !num)]
    u(!num, !a, !b, !c, !i) -> v(!num, !a, !b, !c, 0) [and(not(!num = 1), not(!num = 2))]
    u(!num, !a, !b, !c, !i) -> return(1) [and(not(!num = 1), !num = 2)]
    u(!num, !a, !b, !c, !i) -> return(1) [!num = 1]
    fastfib(!num) -> u(!num, 1, 1, 0, !rnd)
No termination info given.

Elapsed Time:  44.88 ms