> I think (ra, dec, zenith) has two solutions,

By the way, by "zenith", I meant the CelestialCoord of the zenith position, which is just (ra+ha, lat).  So it is equivalent to providing ra, dec, ha, lat, the first of which is indeed superfluous.