Due to the structure of the algorithm the cardinality of all hypotheses in H s increases in each step.
only hypotheses of the same cardinality init sets H s , H t 3: for all e ∈ V e do 9:   are compared in the pruning step.