otherwise the index gets lost.
Also, fix the staggered field access prettyprinter. It was correct after !86 (merged) but printed wrong indices after !92 (merged). I have now added a test.
Michael Kuron authored