Dear Developers, In the example on https://www.eclipse.org/escet/v0.1/cif/#tut-time-chapter-deadlock-livelock, `pos` is used without an initial value. Yet, `pos` is important, i.e. the model checks whether the car arrives at `pos` = `850`. I tried to explicitly add an initial value but I failed Both `cont pos der speed = 1.0;` and `cont pos der speed = 1;` yield `The type "bool" of the derivative of continuous variable "car.pos" is incompatible with the type "real" of the variable.` I also tried `cont real pos der speed = 1;`, but that leads to a parse error. Is it not possible to initialize `pos`? If so, please add this to the documentation. If not, please initialize `pos` in the example. Greetings, Pierre