removes constraints on value domains, fxes tests