Consider . The nested loop "for $b in //B return $b/C" will return the second C first (because its parent comes before the parent of the first C). But the path expression //B/C has to return the first C first.