made activation statements at call sites global to decrease abstraction size and better exploit IFDS summaries