Transformation of structure-shy programs: applied to XPath queries and strategic functions