{"ast_node_type":"variable","tokens":[{"end":64,"kind":"keyword","start":0,"text":"let"}]}
                    let eliminated = self.eliminate_satisfied();
                    // First, eliminate any arguments that currently satisfy their inputs
                    assert!(!eliminated.is_empty(), "didn't eliminated any indice in this round");