Fix some cases where printing the execution context in the debugger for the current goal would print a variable for the coinduction stack