Added generateXML() to CFG and tested in mainCFG.cpp and mainCNFtest.cpp