Sad. Learned constraint still overconstraints.
fuip() starts from ALL assignments of the conflict