for T being Tree holds T -level 0 = {{}}