ltlgDataFree
in ltlgData.h
extern void ltlgDataFree(
ltlgData
* ltlg);