Changeset 11978

#2313:

• Order nodes in the first tree by decreasing depth when doing the mapping (after the two trees have already been compacted into a directed acyclic graph and the isomorphic subtrees have already been identified).

• Update unit test with the test case that helped identify this bug

• Minor changes: rename Label method to GetLabel and make it static, update year in license header