adding tracking of downstream conditional branches