9.5.dizzy: added func leftmost_child. but I really don't see how func is_left_child can make it better.
9.11. - fixed first if. yeah, should have been obvious - if one found in left subtree, other found in right subtree, then here's the lca!