Simpler graphs for canonical slices

This is a follow-up to a comment I made in gh-1122, where I had noticed really huge graphs for simple slice expressions.