final void copyIntoLocalState(Operand[] _localState){
  localState=new Operand[_localState.length];
  System.arraycopy(_localState,0,localState,0,_localState.length);
  setLocalKnown();
}

final void copyIntoLocalState ( Operand [ ] _localState ) { localState = new Operand [ _localState . length ] ; System . arraycopy ( _localState , 0 , localState , 0 , _localState . length ) ; setLocalKnown ( ) ; }
save a shallow copy of the given local variable state into this .
