Reproduction of model-store mismatch errors. Not fully working.