More bug fixes, and the pass is now hooked into LLVM alias analysis
framework