(* example : aintvex2.ml *)
(* let                   *)
(*   f(x)    = g(0, x);  *)
(*   g(x, y) = h(1, y);  *)
(*   h(x, y) = j(2, y);  *)
(*   j(x, y) = y;        *)
(* in                    *)
(*   f(3);;              *)

let pr2 =
      ([("f", ([(FPVAL "x")], 
              (CALL ("g",[(CST "0"); (VAR "x")]))));
        ("g", ([(FPVAL "x"); (FPVAL "y")], 
                  (CALL ("h",[(CST "1"); (VAR "y")]))));
        ("h", ([(FPVAL "x"); (FPVAL "y")], 
                  (CALL ("j",[(CST "2"); (VAR "y")]))));
        ("j", ([(FPVAL "x"); (FPVAL "y")], 
                  (VAR "y")))],
       (CALL ("f", [(CST "3")])) ) ;;

evalprog pr2;;