Unable to analyze statement forget(\forall ...)

On some SV-Comp programs, with config c/cell-string-length-itv-congr.json

$ mopsa-sv-comp --program c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--unisys--visorbus--visorbus.ko-entry_point.cil.out.i --data_model LP64 --property c/properties/unreach-call.prp
Analysis aborted: unable to analyze statement forget(∀$tmp108 ∈ [0 .. (__len - 1)] : (unsigned char *) ((signed char *) &primed⦃ldvarg5⦄ + (offset⦃__dest⦄ + 0))[$tmp108]) in below(c.memory.lowlevel.cells) at /home/raphael/work/mopsa/share/mopsa/stubs/c/libc/string.c:98.3-47

Without the string-length domain, there is no crash, so I guess this is related to the reduced product between string-length and cells.