As syntax information is provided for both sides, for each pair, it must have a node in both trees which subsumes the corresponding string.
non-terminal label checks to their related syntax nodes are necessary in assigning correct tags to all non-terminals in the rules.