Some refactoring
Added transition graph to analyzer