dependency issues and annoying compilation warning with the CFG parser
The separate CFG parser induces an annoying warning when compiling: symbol add_record_projections
never used.
Moreover, there seems to be a dependency issue since in some case one may need to manually remove the generated file src/parser/cfg_parser.ml
to compile successfully.