in cnova/DFAchecks.cpp [59:67]
void Sample3(States current) { current = States::Started; if (current == States::Stopped) { //... } //... }