improved $isConstArrayDeref
regenerated sum.cil.c to be sync with sum.c
simplified sum_spec.k
moved folder verification under tests