Shared breakpoint in the root

[OndrejAlexaj]

Maintain shared breakpoint context only in the root.

[vhavlena]

The results:

# of automata: 2693
----------------------------------------------------------------------------------------------------
tool                                         ✅    ❌       states    max-states    states-avg    states-med     time    time-avg    time-med    TO    ERR
-----------------------------------------  ----  ----  -----------  ------------  ------------  ------------  -------  ----------  ----------  ----  -----
kofola-tela-inductive-8fe1136              2448   245   1404238.00     103380.00        573.63         21.00  3264.16        1.33        0.01   219     26
kofola-tela-inductive-shb-67307cd          2449   244   1490779.00     103380.00        608.73         34.00  4015.27        1.64        0.02   219     25
kofola-tela-inductive-shb-subtree-8fe1136  2453   240   1431648.00     103380.00        583.63         23.00  3287.04        1.34        0.01   214     26
kofola-tela-inductive-shb-root-8fe1136     2466   227   1489362.00     103380.00        603.96         26.50  3292.25        1.34        0.01   201     26
kofola-tela-inductive-for-8fe1136          2652    41   6437856.00     237725.00       2427.55         25.00  3073.45        1.16        0.01    15     26
spot-2.14.5                                2537   156  38202295.00    6875362.00      15058.06         39.00   672.62        0.27        0.01    33    123
spot-red-2.14.5                            2534   159  28218675.00    4587580.00      11136.02         15.00  1167.26        0.46        0.01    32    127
----------------------------------------------------------------------------------------------------