(VAR X Y z )
(RULES 
         -> true
         -> false
         -> false
        pred(0) -> err
        pred(s(X)) -> X
         -> X
        eq(0) -> nul
        eq(s(X)) -> 
        add(0) -> id
        add(s(X)) -> 
        
)