if (x.getArg() != null) {
rhs.getArgs().add(x.getArg());
}
JBinaryOperation binOp = new JBinaryOperation(program, x.getSourceInfo(),
program.getTypePrimitiveBoolean(), JBinaryOperator.OR, lhs, rhs);
ctx.replaceMe(binOp.makeStatement());
}
}
public static void exec(JProgram program) {
new AssertionNormalizer(program).execImpl();