{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"self.flow_inits().seek_after_primary_effect(terminator_location);"}]}
        self.flow_inits().seek_after_primary_effect(terminator_location);
        let terminator_location = self.body().terminator_loc(block);
        self.initialized_at_curr_loc(mpi)