     "print_antiquotations"
     "print_attributes"
     "print_binds"
+    "print_bnfs"
     "print_bundles"
     "print_cases"
     "print_claset"

    "print_ast_translation"
    "print_attributes"
    "print_binds"
    "print_bundles"
    "print_cases"
    "print_claset"

    "attribute_setup"
    "axiomatization"
    "axioms"
    "bnf_codata"
    "bnf_data"
    "bnf_of_typ"
    "boogie_end"
    "boogie_open"
    "bundle"
