code: MeasuredNode getMinimized(MinimizationStyle style) {
      if (style == MinimizationStyle.PREFER_UNNEGATED
          || positive.node.isNot()
          || positive.length <= negative.length) {
        return positive;
      } else {
        return negative.addNot();
      }
    }
docs: Return the shorter representation of the original condition node.
  <p>
  Depending on the context, this may require to either penalize or
  not the existence of a leading NOT node.
  <ul><li>When {@code style} is {@code PREFER_UNNEGATED}, simply try to
  minimize the total length of the conditional.</li>
  <li>When {@code style} is {@code ALLOW_LEADING_NOT}, prefer the right side
  in cases such as:
  <br><code>
  !x || !y || z  ==>  !(x && y && !z)
  </code><br>
  This is useful in contexts such as IFs or HOOKs where subsequent
  optimizations can efficiently deal with leading NOTs.
  </li></ul>
  
  @return the minimized condition MeasuredNode, with equivalent semantics
  to that passed to {@link #fromConditionNode}.