TRS:
 {          minus(0(), y) -> 0(),
            minus(x, 0()) -> x,
        minus(s(x), s(y)) -> minus(x, y),
             plus(0(), y) -> y,
            plus(s(x), y) -> plus(x, s(y)),
               zero(s(x)) -> false(),
                zero(0()) -> true(),
                  p(s(x)) -> x,
                div(x, y) -> quot(x, y, 0()),
            quot(x, y, z) -> if(zero(x), x, y, plus(z, s(0()))),
      if(true(), x, y, z) -> p(z),
  if(false(), x, s(y), z) -> quot(minus(x, s(y)), s(y), z)}
 Fail