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