for t being DecoratedTree
for p being Node of t holds
( t | p is root iff p in Leaves (dom t) )