StringBuffer out=new StringBuffer(trace.getHead().toString()); TraceNode node=trace.getHead().getNext(); while(node!=null&&node instanceof FilterTraceNode)
TraceNode node=trace.getHead(); if(node instanceof InputTraceNode) node=node.getNext(); StringBuffer out=new StringBuffer(node.toString()); node=node.getNext(); while(node!=null&&node instanceof FilterTraceNode) {
    private static String traceName(Trace trace) {	StringBuffer out=new StringBuffer(trace.getHead().toString());	TraceNode node=trace.getHead().getNext();	while(node!=null&&node instanceof FilterTraceNode)	    out.append("\\n"+node.toString());	return out.toString();    }