let constant fmt = function
| Fol.ConstInt n -> Format.pp_print_string fmt n
| Fol.ConstBool b -> Format.pp_print_string fmt (if b then "true" else "false")
| Fol.ConstUnit -> Format.pp_print_string fmt "void"
| Fol.ConstFloat f -> Format.pp_print_string fmt f