add new assertions based on split-read debug case