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