PrettyPrinter fixes, generating statistics by traversing AST, --ifdeftoif integration into frontend