Clean ups

I did some more extensive clean up for init.c code and smack_accesses_add_modify().