Utils.assert(getPartition(self)==-1);
assert getPartition(self)==-1;
    public Object visitFeedbackLoop(SIRFeedbackLoop self,			     JFieldDeclaration[] fields,			     JMethodDeclaration[] methods,			     JMethodDeclaration init,			     JMethodDeclaration initPath) {	//System.err.println("visiting " + self);	// fusing a whole feedback loop isn't supported yet	Utils.assert(getPartition(self)==-1);	// replace children	replaceChildren(self);	return self;    }