code: static MinimizedCondition unoptimized(Node n) {
      checkNotNull(n.getParent());
      MeasuredNode pos = new MeasuredNode(n, null, 0, false);
      MeasuredNode neg = new MeasuredNode(null, null, Integer.MAX_VALUE, true);
      return new MinimizedCondition(pos, neg);
    }
docs: Return a MeasuredNode of the given condition node, without minimizing
  the result.
  <p>
  Since a MinimizedCondition necessarily must contain two trees,
  this method sets the negative side to a invalid node
  with an unreasonably high length so that it will
  never be chosen by {@link #getMinimized}.
  
  @param n the conditional expression tree
  @return a MinimizedCondition object representing that tree.