/// <summary> /// Determines if the given unit belongs to this set of units. /// </summary> public bool Contains(IUnit unit) { bool result = IteratorHelper.EnumerableContains(this.units, unit); //^ assume result == exists{IUnit u in this.Units; u == unit}; //TODO: Boogie: need a working postcodition on EnumerableContains return(result); }