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