if (other.isTop())
if (other.isTop() || this.isBottom())
	public void mergeWith(FieldSet other) {		if (other.isTop())			return;				if (other.isBottom()) {			this.setBottom();			return;		}				fieldSet.addAll(other.fieldSet);	}