Static Analysis for Dynamic XML