Make BasicAliasAnalysis a normal AliasAnalysis implementation which