Quantification statistics : Total Number of Runs is Incorrect (Singleton Quantification)

[SSoelvsten]

The total number of runs is incorrectly inferred from the sub-algorithms.

[SSoelvsten]

The previous bugfix only works with Nested Sweeping; if one uses Singleton quantification then it still reports the wrong number. There really isn't a solution that isn't just adding a runs statistics variable.

[SSoelvsten]

Furthermore, the number of terminals are recorded over all levels, but we lack knowledge of the number of non-nested edges.