Verifying if store outside call overwrites the inside one