* main_codequery.ml: gen facts in a file
* tests/c/datalog/recordinit.c: handle
* tests/c/datalog/constructor.c: partial support