fixed bug so now correctly does alias checking for stores