{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"self.storage.any_unifications"}]}
                        self.storage.any_unifications = true;
                    if self.unification_table_mut().unify_var_var(a, b).is_ok() {
                    }