option ignoreIrrelevantVariables leads to false alarms and wrong violation witnesses
This issue is here to track progress on a part of issue #502 (closed) (this issue is too big, so we will break it into smaller ones).
See #502 (comment 117475537) and #502 (comment 120393919) for a detailed description of the problem.