increase pathcount when reaching new entry point
return GlobalState* when found in classes[k] or entries[k] for some k
increase pathcount when reaching explored state
update with master branch
remove dependency on parser (clean-up parser.* and fsm.* after more complete test
throw exception when unspecified reception is found
update with master branch
verbose log when increasing path_count_
not incr path_count when reaching stopping state; automatically add initial state as stopping
globalstate: remove legacy of BFS which was used to trace back to the root
merge from parser (parser class removal)
globalstate: remove dependency of parser (branch reachable when blocked reception)