Incompatible ikinds exception on svcomp22 reachsafety tests

The following tests fail:

• sv-benchmarks/c/ldv-consumption/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.yml
• (sv-benchmarks/c/ldv-consumption/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.yml

with the following exception (the same for both):
Fatal error: exception IntDomain.IncompatibleIKinds("ikinds unsigned long long and unsigned int are incompatible. Values: (Unknown int([0,64]),[0,18446744073709551615]) and (Unknown int([0,32]),[0,4294967295])")

My settings:

{
  "ana": {
    "sv-comp": {
      "enabled": true,
      "functions": true
    },
    "int": {
      "def_exc": true,
      "enums": false,
      "interval": true
    },
    "activated": [
      "base",
      "threadid",
      "threadflag",
      "mallocWrapper",
      "mutex",
      "access",
      "escape",
      "expRelation",
      "apron",
      "mutexEvents",
      "symb_locks",
      "region",
      "thread"
    ],
    "context": {
      "widen": false
    },
    "malloc": {
      "wrappers": [
        "kmalloc",
        "__kmalloc",
        "usb_alloc_urb",
        "__builtin_alloca",
        "kzalloc",

        "ldv_malloc",

        "kzalloc_node",
        "ldv_zalloc",
        "kmalloc_array",
        "kcalloc"
      ]
    },
    "base": {
      "arrays": {
        "domain": "partitioned"
      }
    },
    "apron":{
    "domain": "octagon"
    }
  },
  "exp": {
    "region-offsets": true
  },
  "solver": "td3",
  "sem": {
    "unknown_function": {
      "spawn": false
    },
    "int": {
      "signed_overflow": "assume_none"
    }
  },
  "witness": {
    "id": "enumerate",
    "unknown": false
  }
}

This issue seems to only occur when Apron is activated

Start by reproducing the exception on the two listed sv-benchmarks/c/ldv-consumption reachsafety cases using the provided Goblint settings, especially with Apron activated. Trace the incompatible unsigned-long-long and unsigned-int abstract values; done means both tests complete without the IntDomain.IncompatibleIKinds exception.