{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"(ContractEnsures)"}]}
    (ContractEnsures)  => { exp!(@kw, ContractEnsures, KwContractEnsures) };
    (Continue)       => { exp!(@kw, Continue,   KwContinue) };
    (ContractRequires) => { exp!(@kw, ContractRequires, KwContractRequires) };