Divide braid by the number of occurence (in the whole proof) of the literal labeling the incoming edge.
Divide braid by the number of occurence (in the whole proof) of the literal labeling the incoming edge.