Moved the main part of the counting tree algorithm back to CountingTree
and it now finishes as soon as all possible Subscriptions are matched