{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"self.initialized_at_curr_loc(mpi)"}]}
        self.initialized_at_curr_loc(mpi)
        self.flow_inits().seek_before_primary_effect(terminator_location);
    }