Analysis of Imperative XML Programs