{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                    // Install contract_ensures so we will intercept `return` statements,
                    // then lower the body.