Output of compilation should start with nnf #7
Description
Even though the types of gate has changed, it would be good that the output of the compilation start with the declaration "nnf v e n", just for compatibility with other knowledge compilers. This can also be used as a magic string to automatically infer that the file contains an NNF.