public Expression simplify() {
		if (subExpressions[0].getType().getCanonic()
				.isOfType(Type.tSubType(castType)))
			/*
			 * This is an unnecessary widening cast, probably that inserted by
			 * jikes for inner classes constructors.
			 */
			return subExpressions[0].simplify();
		return super.simplify();
	}