* lang_c/analyze/datalog_c.ml: handling Ret and Alloc and AllocArray
* tests/mini/array.c: more comments on what to expect