Handles external method calls, tests don't compile at the moment - need field access instrumented