When creating a projection for variable x, if the domain of x is
constant, create a constant instead.  This prevents variables that are
in fact constants appearing in polynomials.