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