To help beginner users, who have no idea about score corruptions, the solver would add a fail-fast in case a score corruption is detected.

• But by default, the solver would fail when it detects a score corruption.
• We cannot afford to do these checks all the time. Once at the end of each phase ought to be enough.
• Another environment mode would exist, so that people can decide to ignore these checks.