Improve rename copy constraints#456

akokoshn wants to merge 1 commit intomasterNilFoundation/zkLLVM:masterfrom

439-no-rename-copy-constraintsNilFoundation/zkLLVM:439-no-rename-copy-constraintsCopy head branch name to clipboard