* lang_c/analyze/datalog_c.ml: bugfix on DynamicCall and -test_compare_datalog
action so easier to find bugs