* lang_rust/analyze/highlight_rust.ml: misc
* lang_c/analyze/datalog_c.ml: introdue lvalue, rvalue
* lang_c/analyze/datalog_c.ml: factorize more, more lvalue vs rvalue