שליחת רשומה: Visibly Tree Automata with Memory and Constraints