public void addDeferredJimplification(DeferableInstruction i){
  deferredInstructions.add(i);
}

public void addDeferredJimplification ( DeferableInstruction i ) { deferredInstructions . add ( i ) ; }
add a deferred instruction to this body .
