(* example : aintvex3.ml                  *)
(* let                                    *)
(*   f(x, y, z) = if x then y else z fi;  *)
(*   g(a, b)    = f(a, b, b);             *)
(* in                                     *)
(*   g(true, 7777) ;;                     *)

let pr3 =
      ([("f",( [(FPVAL "x"); (FPVAL "y"); (FPVAL "z")],
              (IF ((VAR "x"), ( (VAR "y"),(VAR "z") ) ))));
        ("g", ( [(FPVAL "a"); (FPVAL "b")],
                  (CALL ("f",[(VAR "a"); (VAR "b"); (VAR "b")]))))],
       (CALL ("g",[(CST "true"); (CST "7777")])) ) ;;

evalprog pr3;;