Check that there is exactly one problem with no_toplevel.dap