Data.Rewriting.Problem.Pretty