pretty print
loop invariant strides identified during fixpoint iteration