module Offsm_domain:sig
..end
true
, the offsetmap domain stores information that can probably be
re-synthesized from the value domain. Otherwise, we try to avoid such
redundancies. Setting this variable to true
is helpful to find
unsoundnesses in the domain through testing, because many more expressions
end up being handled.module D:Abstract_domain.Leaf
with type value = Offsm_value.offsm_or_top and type location = Precise_locs.precise_location