{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"cfg_checker.visit_body(body);"}]}
        cfg_checker.visit_body(body);
        };
        cfg_checker.check_cleanup_control_flow();