(* example : aintvex1.ml                 *)
(* let                                   *)
(*   f(x, y) = if (x = 0) then y         *)
(*             else f(x - 1, y) fi;      *)
(* in                                    *)
(*   f(2, -1) ;;                         *)

let pr1 =
([("f",([(FPVAL "x"); (FPVAL "y")],
         (IF
          ((EQUAL ((VAR "x"),(CST "0"))), 
            ((VAR "y"),
           (CALL ("f",[(SUB ((VAR "x"),(CST "1"))); (VAR "y")]))) ))))],
       (CALL ("f",[(CST "2"); (CST "-1")]))) ;;

evalprog pr1;;