Handle unitialized loads; correctly handle constant pointers/non-pointers in alias(); handle undef store properly with compile-time macro to change code paths for undef store; immediately stop processing if everything aliases