What alias analysis support does LLVM provide? Could it support RAC further? Or could this be ruled out?