Merge "ART: Don't fail on unsupported conditions in boolean simplifier"