@Override
    public @NotNull ResolveState putAll(@NotNull ResolveState state) {
      if (state == ourInitialState) return this;
      return new ManyElementResolveState(this, state);
    }
@Override
    public @NotNull ResolveState putAll(@NotNull ResolveState state)