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