Auxiliary variables for extending symbolic traversal techniques to data paths