bitvector priorities are set on forked child states to get deterministic speedups