     "atom_decl"
     "attribute_setup"
     "axiomatization"
+    "bnf_decl"
     "boogie_file"
     "bundle"
     "case_of_simps"

    "classes"
    "classrel"
    "codatatype"
    "code_abort"
    "code_class"
    "code_const"
    "code_datatype"

    "classes"
    "classrel"
    "codatatype"
    "code_class"
    "code_const"
    "code_datatype"
