3. The computer-implemented method of claim 1 , further comprising, for a path expression with an explicit name test entering into a wildcard section, identifying whether the path selects an element or attribute that is known in a static typing context, or the path selects an element or attribute that is considered as any type.
4. The computer implemented method of claim 3 further comprising supplying type information and type inference rules.