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

* commit '8eeecbc50b5f6f569b4d6d1a141624f0018ffb2d':
  ART: General-case negation in boolean simplifier