[Inline] Use AssumptionCache from the right Function