* lang_c/parsing/visitor_c.ml:
* lang_c/analyze/datalog_c.ml: progress, tok_of_xxx, add new locals
in env, handle sizeof