Finished writing AliasAnalysis interface. Now we can do fsci aa queries
when doing fsci trace