Automata-based Static Analysis of XML Document Adaptations