Pretty-printing of Lts.