need a more powerful instruction graph to help instrumenting method
returns