code: public BoundedAssertion getMin()
      {
      ICondition min = null;
      Iterator<ICondition> conditions = getConditions();
      for( int i = 0; i < 1; i++) min = conditions.next();
      return (BoundedAssertion) min;
      }
docs: Returns the minimum condition.