@Override
    public @NotNull DfaCallState updateState(@NotNull DfaCallState state) {
      return myRight.updateState(myLeft.updateState(state));
    }
@Override
    public @NotNull DfaCallState updateState(@NotNull DfaCallState state)