am 56ab8a9a: am 8eeecbc5: Merge "ART: General-case negation in boolean simplifier"

* commit '56ab8a9a9b1a1db9282e361067ecd4fd6af61a29':
  ART: General-case negation in boolean simplifier