The function `CleanAHDec` is never used while `InitializeAH` is. Needs to identify an image that triggers this code path.
The function
CleanAHDecis never used whileInitializeAHis. Needs to identify an image that triggers this code path.