System.out.println(node); System.out.println(node.getPrevious()); System.out.println(node.getNext());
    private static String traceName(Trace trace) {	TraceNode node=trace.getHead().getNext();	//if(node instanceof InputTraceNode)	//node=node.getNext();	StringBuffer out=null;	System.out.println(node);	System.out.println(node.getPrevious());	System.out.println(node.getNext());	if(((FilterTraceNode)node).getFilter().getArray()!=null)	    out=new StringBuffer("color=cornflowerblue, style=filled, label=\""+node.toString());	else	    out=new StringBuffer("label=\""+node.toString());	node=node.getNext();	while(node!=null&&node instanceof FilterTraceNode) {	    out.append("\\n"+node.toString());	    node=node.getNext();	}	return out.toString();    }