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