minor updates to localanalysis, using defined data structure name
adding propagate analysis code, first time run, needs debugging