Simple verification example where history-based reasoning is used to capture the incrementation of a shared variable.