Fix+test a bug causing incorrect dropping of DV constraints.