public RangeType(ReferenceType bottomType, ReferenceType topType) {
		super(TC_RANGE);
		if (bottomType == tNull)
			throw new alterrs.jode.AssertError("bottom is NULL");
		this.bottomType = bottomType;
		this.topType = topType;
	}