fast branching and forwarding debugged