Fix prettyprinting bug for SNot.
Add some more ad-hoc rules to updateBounds.