fixed failure in invariants. now it is possible to reset a clock due to a state activation and to use the same state as input condition for an invariant.