{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"if"}]}
            if self.var_unification_table.probe_var(iv).is_some() {
            .expect("free var is not inference var");
                return true;