@Override
  void processState(State state) throws AnalyzerException {
    myNextStates.clear();
    super.processState(state);
    updateThrowPaths(state);
  }
@Override
  void processState(State state)