Add code to make printout more readable for inductive proofs
Add code to make printout more readable for inductive proofs

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius