Automaton constructor Clocks and Boolean variables

[Brandhoej]

The Automaton constructor takes a list of Clock and one with BoolVar. We should consider checking whether all clocks and boolean variables are present in the guards and update.

[magoorden]

I think this is a good check to perform, but violating this check does not invalidate a model, i.e., an automaton that has a clock which is never 'used' is still a valid model.
So this should be something like a warning instead of an error.