if (source.isOutputTrace() && dest.isInputTrace() && redundant()) SpaceTimeBackend.println("*Redundant: " + this.toString());
    public void setDRAM(StreamingDram DRAM)     {	//	assert !redundant() : "calling setDRAM() on redundant buffer";	this.dram = DRAM;    }