@Override
  public @NotNull DfaValue eval(@NotNull DfaValueFactory factory,
                                @NotNull DfaMemoryState state,
                                @NotNull DfaValue @NotNull ... arguments) {
    if (myBinOp == null) return factory.getUnknown();
    DfaValue left = arguments[0];
@Override
  public @NotNull DfaValue eval(@NotNull DfaValueFactory factory,
                                @NotNull DfaMemoryState state,
                                @NotNull DfaValue @NotNull ... arguments) {
    if (myBinOp == null) return factory.getUnknown();
    DfaValue left = arguments[0]