return ((BitVector[]) lastState)[addr] = newHighLevelStateCasted;
}
return super.setHighLevelState(lastState, stateID, newHighLevelState);
return ((BitVector[]) lastState)[addr] = newHighLevelStateCasted;
}
return super.setHighLevelState(lastState, stateID, newHighLevelState);