An example based on a generalization of parallel_incr, that has also been covered in the Iris Lecture Notes