Update packages and gentree

gentree: remove leaves, fix cover