Fixed Pointer Analyzer bugs with bitcasts and gep-aliasing