The definition of safety of a hybrid systems used in our publications [3]
assumes that for trajectories, on flows of length zero, the flow
constraints (keyword ”FLOW”) does not have to hold. In our current
implementation it even has to hold on flows of length zero.