CH4-E07: Check if subtree (version as on paper)