The constraint solving or the constraint relaxing appears to be defective. Write tests to cordon the issue and prevent future regressions.