{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.successors[ln]"}]}
        self.successors[ln] = Some(succ_ln);
        // more efficient version of init_empty() / merge_from_succ()
        self.rwu_table.copy(ln, succ_ln);