now enters finished state if program halts in ReturnCon state, debugger now can run silently