back to the old implementation of Leaf, because it s much faster for unification/matching
FastFingerprint indexing structure