Add pretty-printer for specification.