lib(pretty_print)

   Pretty-printing of complex terms

