let empty_interpretation_result =
    NoneCvalue.Model.bottom, Location_Bits.Top_Param.bottom