move methods for typechecked trees processing to TreeInfo