#923 Compute PLC edge variables up-front instead of on-the-fly

• Compute all edge variables before code generation.
• Fix the used name of the automaton.

As stepping stone towards #934 (closed), derive number of edge variable values, and switch to the boolean type for less than 3 values.

Closes #923 (closed)