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