let
empty_interpretation_result =
None
,
Cvalue
.
Model
.bottom,
Location_Bits
.
Top_Param
.bottom