let
is_predefined_name s =
List
.mem s predefined_name