{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.handle_call_return(return_places,"}]}
            self.handle_call_return(return_places, state)
        if state.is_reachable() {
        }