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();
 }