code: public BoundedAssertion getMax()
      {
      ICondition max = null;
      Iterator<ICondition> conditions = getConditions();
      for( int i = 0; i < 2; i++) max = conditions.next();
      return (BoundedAssertion) max;
      }
docs: Returns the maximum condition.