DNIChecker machine contains errors
- Rename
No
toBelow
,Yes
toAbove
,Waiting
toEvaluating
- Wait should admit values DNI >= DNImin + delta
- Below to Evaluating
- Waiting to Above
- reset timer ck2 in Above to Evaluating
In general, more attention with closed intervals should be used. Criteria: a MIN threashold is acceptable