other.rate = rate;
other.rate = (at.dms.kjc.JExpression)at.dms.kjc.AutoCloner.cloneToplevel(this.rate);
protected void deepCloneInto(at.dms.kjc.sir.SIRIdentity other) {  super.deepCloneInto(other);  other.rate = rate;}