* tests/mini/array.c: first version
* h_program-lang/datalog_code.dl: better array I think, array_point_to different
from point_to
* tests/mini/array.c: second version