*/
JMethod wrap = program.getSpecialMethod("Cast.wrapJSO");
// override the type of the called method with the JSO's type
JMethodCall call = new JMethodCall(program, x.getSourceInfo(), null,
wrap, argType);
JClassSeed seed = program.getLiteralClassSeed((JClassType) argType);
call.getArgs().add(curExpr);
call.getArgs().add(seed);
curExpr = call;
}
if (argType instanceof JClassType