let print_ground_if_value : Types.if_value_type -> unit =
  print_if_value atom_ground_value_to_string