Change the inference rule for assign and union constraints.