DISJUNCTION_MAX_REWRITE