support for analyzing called user methods