bug fix: move essential function out of verbosity check
discover new stopping state/entry point in class[0]
helper function in StateMachine that make sending msgs easier
bug fig: rejecting cycle that contain low prob. transition