Possible bug in MediumLevelILFunction::GetLLILSSAToMLILExprMap

Version and Platform (required):

• Binary Ninja Version: dev/5.2.8353

Bug Description:
In mediumlevelil.cpp, in MediumLevelILFunction::GetLLILSSAToMLILExprMap, I see this code:

for (auto& [oldExprIndex, newExprIndices]: m_translationData->mlilToMlilExprMap)
    [..]
        size_t oldLLILSSADirect = m_translationData->copyingFunction->GetLowLevelILExprIndex(oldExprIndex);
        [..]
                info.higherToLowerDirect = newDirect && oldExprIndex == oldLLILSSADirect;

I haven't tried to test/reproduce this, but it seems wrong that oldExprIndex (an MLIL expression index) is being compared to both oldLLILSSADirect (an LLIL expression index). I think this is probably supposed to be comparing oldLLILSSADirect to oldLLILSSAIndex.

Start in mediumlevelil.cpp at MediumLevelILFunction::GetLLILSSAToMLILExprMap and inspect the translation data fields used in the loop, especially oldExprIndex, oldLLILSSADirect, and oldLLILSSAIndex. Confirm whether the comparison mixes MLIL and LLIL expression indices; done means the index comparison is consistent and the relevant behavior is covered by existing validation.