Jimple.v().newVirtualInvokeExpr(actorLocal,
actorFireMethod.makeRef())));
bodyList.add(Jimple.v().newAssignStmt(
localPostfireReturnsLocal,
Jimple.v().newVirtualInvokeExpr(actorLocal,
actorPostfireMethod.makeRef())));
bodyList.add(Jimple.v().newAssignStmt(
postfireReturnsLocal,
Jimple.v().newAndExpr(postfireReturnsLocal,
localPostfireReturnsLocal)));