Fix delimiter transitions in transducer noodlification

[jurajsic]

Previously, it was assumed that the intersection NFT in transducer noodlification would contain delimiter transitions
source ---DELIMITER---> middle ---DELIMITER---> target
where the state middle would be only in one such pair of transitions. However, this is not true (probably because of the call to reduce()), so I updated it so now we can handle middle in multiple pairs.

This should fix #553.

[Adda0]

Have a look at the failing build. It fails to compile.

[Adda0]

LGTM.

[koniksedy]

LGTM. All transducer_plus and webapp benchmarks have passed.

[vhavlena]

Great!

[jurajsic]

# of formulae: 772
--------------------------------------------------
tool                          ✅    ❌     time    avg    med    std    sat    unsat    unknown    TO    MO+ERR    other
--------------------------  ----  ----  -------  -----  -----  -----  -----  -------  ---------  ----  --------  -------
z3-noodler-fee8de7-2c67fe1   713    59   697.23   0.98   0.01   7.51    280      433          0    58         1        0
z3-noodler-fee8de7-2fef659   713    59   694.10   0.97   0.01   7.35    280      433          0    58         1        0
--------------------------------------------------


Benchmark webapp
# of formulae: 681
--------------------------------------------------
tool                          ✅    ❌     time    avg    med    std    sat    unsat    unknown    TO    MO+ERR    other
--------------------------  ----  ----  -------  -----  -----  -----  -----  -------  ---------  ----  --------  -------
z3-noodler-fee8de7-2c67fe1   679     2   186.04   0.27   0.01   2.80    250      429          0     1         1        0
z3-noodler-fee8de7-2fef659   679     2   198.29   0.29   0.01   2.97    250      429          0     1         1        0
--------------------------------------------------

Benchmark transducer_plus
# of formulae: 91
--------------------------------------------------
tool                          ✅    ❌     time    avg    med     std    sat    unsat    unknown    TO    MO+ERR    other
--------------------------  ----  ----  -------  -----  -----  ------  -----  -------  ---------  ----  --------  -------
z3-noodler-fee8de7-2c67fe1    34    57   511.19  15.03   0.23   29.03     30        4          0    57         0        0
z3-noodler-fee8de7-2fef659    34    57   495.81  14.58   0.23   28.00     30        4          0    57         0        0
--------------------------------------------------