if (x.getArg() != null) {
call.addArg(x.getArg());
}
then.addStmt(new JThrowStatement(x.getSourceInfo(), call));
JUnaryOperation notX =
new JPrefixOperation(x.getSourceInfo(), JUnaryOperator.NOT, x.getTestExpr());
JIfStatement cond =
new JIfStatement(x.getSourceInfo(), notX, then, null);
ctx.replaceMe(cond);
}