Refactor the findAllStoresForLoad member function
Consider the tid while find all stores for load

The tid is the pthread identifier to distinguish different threads while
considering a load or store instruction.