Bugfix on Time constraint: State diagrams => LTE with now