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

* commit 'e33d0cb5b88703302e3912ca96dabcb06fea4340':
  ART: Don't fail on unsupported conditions in boolean simplifier