XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns