PR: Allow symbolic assignments for cfold#892

Gustavo2622 wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

improvement_symbolic_cfoldEasyCrypt/easycrypt:improvement_symbolic_cfoldCopy head branch name to clipboard