{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"NullOp::ContractChecks"}]}
                    NullOp::ContractChecks => write!(fmt, "ContractChecks()"),
                    NullOp::UbChecks => write!(fmt, "UbChecks()"),
                }