add dispatching bc analysis