Added TreeMatchingException description