rej14: Copy istar model for concretizations after rnf