let reserved_word_list = List.map HString.mk_hstring [ "maxsat"; "mk-tuple"; "tuple"; "record" ]