Please do not include this file (denali.pro.user) in your commits. I will soon remove it from the git tracking files, as soon as we are certain we don't need it anymore for unit testing.
I am still not sure where you want the declarations to go. They are just before the part of the function that checks the inlet water conditions. The only other logical place is at the top.
Why are we not turning off the air pump here? I do not see any delay in open state where pump is turned off, so we are only delaying by 50 ms. And I don't see any reason why pump should be on while VBT is open.
The 2 verify states are single pass. I don't think it makes sense to return to them. They either pass or you go to fault mode and so you wouldn't even be here - so I think you can assume you passed. For first displacement verify state, I think you should go to second displacement setup state. For second displacement verify state, I think you should go to complete state.
