When door was recently opened, the currentState.openUntil will
be a bit in the future. Thus we cannot assume that we will extend
it by at least openSeconds.
The invariant only holds wrt to current time