* h_program-lang/datalog_code.ml: reorg
* h_program-lang/datalog_code.ml: