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