[Bug 344888] solver silently changed my input and generated set of unbelievable conflicts then