debugger. Add a few more assertions to check that the current process and stack group are consistent.