Merge pull request #2015 from goblint/patricia-tree2 #15819

Job	Run time
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	7m 57s
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	15m 11s
extraction	0s
	23m 8s

Provide feedback