Throw an exception if the input has mismatching colors on the place of an arc and the expressions on the arc (i.e. variables and constants).

Likewise there should be a check that the guard of a transition has all the variables covered by expressions on the arcs.