only discontinue marking successors if we see a blocking branch