     "and"
     "assumes"
     "attach"
+    "avoids"
     "begin"
     "binder"
     "concl"

    "done"
    "enable_pr"
    "end"
    "exit"
    "extract"
    "extract_type"

    "code_class"
    "code_const"
    "code_datatype"
    "code_deps"
    "code_gen"
    "code_instance"
    "code_library"
