{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"if"}]}
                    if self.unification_table_mut().unify_var_var(a, b).is_ok() {
                    debug!("make_eqregion: unifying {:?} with {:?}", a, b);
                        self.storage.any_unifications = true;