XML graphs in program analysis