This will help EarlyFunctionAnalysis in providing more accurate results, in case assumptions about the ABI can be made.