ExceptionalUnitGraph exceptionalFlow = new ExceptionalUnitGraph(body);
nullAnalysis = new NullnessAnalysis(exceptionalFlow);
// prepare the reaching definitions analysis for the assertion creator
LiveLocals liveness = new SimpleLiveLocals(exceptionalFlow);
LocalDefs definitions = new SmartLocalDefs(exceptionalFlow, liveness);
// translate each statement in isolation
for (Unit unit : body.getUnits()) {
Stmt stmt = (Stmt) unit;
translateStmt(stmt);