am ad709087: am bca4d299: Merge "ART: Boolean simplifier fix"

* commit 'ad709087f1849472f20bf9c0ed48861fa36be579':
  ART: Boolean simplifier fix