{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"assert!(!eliminated.is_empty(),"}]}
                    assert!(!eliminated.is_empty(), "didn't eliminated any indice in this round");
                    let eliminated = self.eliminate_satisfied();
                    for (inp, arg) in eliminated {