protected int indexOfLocal(Value local){
  int localIndex=origLocals.indexOf(local);
  if (localIndex == -1) {
    Local oldLocal=newLocalsToOldLocal.get(local);
    localIndex=origLocals.indexOf(oldLocal);
  }
  return localIndex;
}

protected int indexOfLocal ( Value local ) { int localIndex = origLocals . indexOf ( local ) ; if ( localIndex == - 1 ) { Local oldLocal = newLocalsToOldLocal . get ( local ) ; localIndex = origLocals . indexOf ( oldLocal ) ; } return localIndex ; }
convenient function that maps new locals to the originating local , and finds the appropriate array index into the naming structures .
