{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"NullOp::ContractChecks"}]}
                    NullOp::ContractChecks => return None,
                    NullOp::UbChecks => return None,
                };