diagnostics in TooWideTester