Added branch trace gen logic. Fixed in branch.v