Attack tree traversal seems to work