# Functions
EmptyValue tests a starting an instance for an empty value (not passing value check).
EqualHeightNoRunningInstance tests starting an instance for height equal to current without a running instance.
EqualHeightRunningInstance tests starting an instance for height equal to a running instance.
FirstHeight tests a starting the first instance.
InvalidValue tests a starting an instance for an invalid value (not passing value check).
LowerHeight tests starting an instance a height lower than previous height.
NilValue tests a starting an instance for a nil value (not passing value check).
PostFutureDecided tests starting a new instance after deciding with future decided msg.
PreviousDecided tests starting an instance when the previous one decided.
PreviousNotDecided tests starting an instance when the previous one not decided.
Valid tests a valid start instance.