let reserved_logic_name name =
  if List.mem name jessie_reserved_names then name else unique_logic_name name