1. Changes to framework in order to store dataflow info wrt to outEdgeToAny/inEdgeFromAny instead of NULLPartEdge
2. Changes to nodeState deprecating access methods involving NULLPartEdge
minor fix for a possible bug
checking out the missed change from fuse-state-access branch
adapting analyses for changes in the framework wrt wildcard edges