branches and calls get instrumented properly