Feature/194/fix imprecise store verify

Fixes #194