Added tree verification