Improving Symboli Traversals by means of A tivity Pro