alloy: quick clumsy attempt to use prettyprinting