Merge "Extend De Morgan factorisation to `HBooleanNot`."
am: 0f638c6468

* commit '0f638c64686c03256c949051331b0838c9888a2a':
  Extend De Morgan factorisation to `HBooleanNot`.