{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"queue.push(implication.clone());"}]}
                        queue.push(implication.clone());
                    if self.enabled.insert(implication.clone()) {
                    }