let pp_var fmt v = let name = Fol_decl.identifier (Fol.Var.var_name v) in Format.fprintf fmt "%s" name