reorginisation of verbose messages to make both algorithm execution easier to compare
Separate predecessor/successor links from list of unexplored transitions by splitting situation_tree_node with investigated_situation
Introduce raw deep algrotihm. It assumes that FSM transitions never lead two times to the same situation and so don't store the situations and their relationships. It allows to treat huge FSM with reduce memory consumptions
Inline operator()