I know the procedure will throw an assertion error. But how does it prove that it works fine for MV index rollback?