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