public void updateType() {
		Type subType = Type.tSuperType(subExpressions[0].getType())
				.intersection(Type.tArray(type));
		if (!(subType instanceof ArrayType))
			updateParentType(Type.tError);
		else
			updateParentType(((ArrayType) subType).getElementType());
	}