Add the verification of the useless variables:
 - A written variable that we never find in a condition field
 - A used variable in a condition field that is never written on.
Add the function containsVariable(Variable) to Model. This function
return true if the variable exists.