let empty_record =
    { superposition = State_set.empty ;
      widening = Value_parameters.WideningLevel.get () ;
      widening_state = Relations_type.Model.bottom }