Static Analysis of XML Document Adaptations