Fixes some bugs related to the determinitic mode 1 & debugger