* lang_c/analyze/datalog_c.ml: first not too bad version! linearization
of most expr into instrs