We print parenthesis around for Not formulas
Generating more files