Clearer error when there is a illegal name without any '_' in it.
Removed getConditionVariable() from Model. NoUselessVariable modified.
Small comments added in the verifiers.
Removed the alarm field in the Actions.

In case of alarms (i.e. actions to be done when the condition is not
verified), we create a second loopback transition with the list of
actions of the alarm.