Updated termination predicate to generic Delay\d=.
Updated Everything.