Assume a piece of code which executes two branches b1 and b2 in alternating sequence (i.e. b1, b2, b1, b2, b1, b2, ...).