printMINIMIZATION :: MINIMIZATION -> Doc
printMINIMIZATION (Mini kw cms cvs _) =
   fsep $ keyword (tokStr kw) : map pretty cms ++ if null cvs then [] else
     keyword "vars" : map pretty cvs
printMINIMIZATION :: MINIMIZATION -> Doc
printMINIMIZATION (Mini kw cms cvs _) =
   fsep $ keyword (tokStr kw) : map pretty cms ++ if null cvs then [] else
     keyword "vars" : map pretty cvs
printMINIMIZATION (Mini kw cms cvs _) =
   fsep $ keyword (tokStr kw) : map pretty cms ++ if null cvs then [] else
     keyword "vars" : map pretty cvs