The semantics of discrete variable updates
Updates are sequentially applied and expressions are evaluated with current values in Uppaal.
E.g. given discrete vars a=1, b=1. An update a:=2,b:=a yields the state a=b=2.
Currently Uppaalta.GenericUAutomaton(...)._apply_edge evaluates the expressions with the former values of the variables. I will check this and fix it.