System.out.println("Adding Trace in traversal " + trace);
SpaceTimeBackend.println("Adding Trace in traversal " + trace);
    private static void addToTraversal(Trace trace, LinkedList traversal, HashSet visited, 				       Vector queue)     {	//add the trace to the traversal and show that it is visited...	assert trace != null : "Trace should not be null!";		System.out.println("Adding Trace in traversal " + trace);	queue.remove(trace);	traversal.add(trace);	visited.add(trace);		//cycle thru all the edges and add them to the queue if 	//they are not already in there...	for (int j = 0; j < trace.getEdges().length; j++) {	    if (!queue.contains(trace.getEdges()[j])) {		queue.add(trace.getEdges()[j]);		System.out.println("Adding trace to queue " + trace.getEdges()[j]);	    }	}	//System.out.println(queue.size());    }