Create a ScalarEvolution-based AliasAnalysis implementation.