minpoly: check that the variable is not contained in the ground domain