(VAR x y)
(RULES
 1024 -> 1024_1(0)
 1024_1(x) -> if(lt(x,10),x)
 if(true,x) -> double(1024_1(s(x)))
 if(false,x) -> s(0)

 lt(0,s(y)) -> true
 lt(x,0) -> false
 lt(s(x),s(y)) -> lt(x,y)
 double(0) -> 0
 double(s(x)) -> s(s(double(x)))
 10 -> double(s(double(s(s(0)))))
)