General Transformations for GPU Execution of Tree Traversals