Examples: fix identifier reuse parse failures#251

ahelwer wants to merge 1 commit intotlaplus:maintlaplus/tlapm:mainfrom

ahelwer:example-parse-errorsahelwer/tlapm:example-parse-errorsCopy head branch name to clipboard