implement TransitionSystemAnalyzer