@Override
  protected @NotNull Equation analyze() throws AnalyzerException {
    Equation equation = super.analyze();
    if (equation.result == Value.Top && myThrowKeys != null && myFinalThrowKeys != null && !myFinalThrowKeys.isEmpty()) {
      for (Set<EKey> value : myThrowKeys.values()) {
        updateFinalKeys(value);
      }
      return mkEquation(new Pending(new Component[]{new Component(Value.Top, myFinalThrowKeys)}));
    }
    return equation;
  }
@Override
  protected @NotNull Equation analyze()