[AA] Enhance the new AliasAnalysis infrastructure with an optional