let to_string (var: var) : string =
  let id =
    id_of_var var
  in
  if is_universal var then
(*    if is_indicator var then
        " ^ string_of_int id
    else*)
      "_" ^ string_of_int id
  else
(*    if is_indicator var then
        " ^ string_of_int id
    else*)
        "=" ^ string_of_int id