Test depth-first search of symbolic program paths