WyC: more and more statements now supported by Pretty Printer. #174