Refinement for tree ciphering isomorphism
At the step of histograms of labels, in addition to create bags of nodes whose labels appears at the same frequency, we could also implement a structure of bags on labels, with a deduction rule as for bags of nodes. It could improve the preprocessing part.