Adding copies for arguments that occur multiple times constrained