do not close Const anons in `unify_min` (see #3132)