* h_program-lang/datalog_code.ml: support var_to_func, field_to_var
for bddbddb