JBlock block = (JBlock) x.getCatchBlocks().get(i);
JLocalRef arg = (JLocalRef) x.getCatchArgs().get(i);
catchInfo = block.getSourceInfo();
JReferenceType argType = (JReferenceType) arg.getType();
// if ($e instanceof ArgType) { userVar = $e; <user code> }
JExpression ifTest = new JInstanceOf(program, catchInfo, argType, exRef);
asg = program.createAssignmentStmt(catchInfo, arg, exRef);
if (!block.statements.isEmpty()) {
// Only bother adding the assignment if the block is non-empty
block.statements.add(0, asg);
}