DEFINED
start <= height < timeout
STARTED
(lockinontimeout == false) AND (height < timeout) AND (threshold reached)
OR
(lockinontimeout == true) AND ((height >= timeout) OR (threshold reached))
LOCKED_IN
Always
ACTIVE
FAILED
timeout <= height
(lockinontimeout == false) AND (timeout <= height)