am bca4d299: Merge "ART: Boolean simplifier fix"

* commit 'bca4d29975396b08f1d7357912065660b8007dd7':
  ART: Boolean simplifier fix