Refine the coding of LoadStoreNumbering passes