@Override
public void endVisit(JAssertStatement x, Context ctx) {
JBlock then = new JBlock(x.getSourceInfo());
then.addStmt(new JDebuggerStatement(x.getSourceInfo()));
String methodName = "Exceptions.makeAssertionError" + getAssertMethodSuffix(x.getArg());
JMethod method = program.getIndexedMethod(methodName);
JMethodCall call = new JMethodCall(x.getSourceInfo(), null, method);
if (x.getArg() != null) {