// 4. Add loads
//
// Order is important since loads in 3. depend on stores in 2.
StoreLocalVarPlacementProblem slvp = new StoreLocalVarPlacementProblem();
slvp.setup(s);
slvp.compute_MOP_Solution();
// Add stores, assigning an equivalent tmp-var for each local var
Map<Operand, Operand> varRenameMap = new HashMap<Operand, Operand>();
slvp.addStores(varRenameMap);