insn_ids_reachable_from_start_without_intervening_barrier(): Can further...

insn_ids_reachable_from_start_without_intervening_barrier(): Can further narrow set of instructions by considering barriers at the shallower level.