Pretty printing. Bug fixes in SpecVerify. VC optimization.