Fix bug in prettyprinter
Add stupid fold support to brute forcer