BasicAA: We need to check both access sizes when comparing a gep and an