Bugfix: form_read track Fglob like Fpvar#987

Gustavo2622 wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix_form_read_fglobEasyCrypt/easycrypt:fix_form_read_fglobCopy head branch name to clipboard