* lang_c/analyze/datalog_c.ml: comment
* tests/mini/array_decl.c: partial support
* tests/mini/array_decl.c: better support! no more array_point_to/2
so we can find xv6 dynamic syscalls :)