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