support for analysis of Invoke statements