for t being DecoratedTree
for n being Node of t holds Subtrees (t | n) c= Subtrees t