Panic: Slice bounds out of range when indexing

I indexed an integer predicate shortly before, which was successful.
Also, I think the panic in the recover block is intentional, to print out debug info.