@bronevet I lifted this next state initialization out the for set<CFGNode> iteration