Removing alias analysis skeleton, as it doesn't work for us right now