First draft of tree isomorphism checking
Minor changes
Safety commit before tuesday