The specification symbols are the following ones:

• Accent in green => The program will be generated
• Accent in red with ! => The program will be generated with warning
• = in green => The program does not need to be generated
• = in red with ! => The program does not need to be generated but it has warning
• x in red => The program will not be generated

Note: the exclamation mark (!) was added for daltonic persons to distinguish when an object specifies with warning, because they could not see the difference between red and green.