Polymorphic nullary constructors removed from VC as their Z3 encoding causes
type errors.