am 5e0b8bf2: Merge "ART: Formatting and comments in BooleanSimplifier"

* commit '5e0b8bf26a20d2cb834a55d2a03069505997aa02':
  ART: Formatting and comments in BooleanSimplifier