Bug with not updated ghci debug state was fixed