Tweaks the ExecutionState.cpp