let do_degenerate lv =
  List.iter
    (fun {called_merge_current = merge_current } ->
      merge_current ~degenerate:true)
    (call_stack ());
  !Db.Value.degeneration_occurred (CilE.current_stmt ()) lv