Time semantics checking in hybrid.py