am a2407de1: Merge "ART: Boolean simplifier fix" into mnc-dev

* commit 'a2407de14ad40f4b5462cd6294bc4a7a07d47d38':
  ART: Boolean simplifier fix