Merge pull request #2020 from goblint/intdomain-no_ov #15797

Job	Run time
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	15m 6s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	7m 46s
extraction	0s
	22m 52s

Provide feedback