removed a hack that leads to incorrect parsing of programs
improved
regenerated sum.cil.c to be sync with sum.c
simplified sum_spec.k
moved folder verification under tests