let is_predefined_name s = List.mem s predefined_name