Initial value raises questions on https://www.eclipse.org/escet/cif/language-tutorial/channels/intro.html

Dear developers,

On https://www.eclipse.org/escet/cif/language-tutorial/channels/intro.html nr of both consumer1 and consumer2 is initialized to -1. Although nicely described, this still raises questions like

• Is initialization needed?
• Why '-1' as default value?

An alternative might be to store the list of nrs a customer has. Naturally, this list is initially empty and new numbers are just added (nrs := nrs + [nr]).

Although it doesn't fundamentally change the example, it might prevent some questions from the readers.

Greetings, Pierre