Add support for disabling the red clauses in ITE