Node: Sort children IDs when generating their list for the Map of (List<Children IDs>,NodeData).This makes two internal nodes with the same children always isomorphic, no matter what is their order.
Node: Sort children IDs when generating their list for the Map of (List<Children IDs>,NodeData).
This makes two internal nodes with the same children always isomorphic, no matter what is their order.