[POPL Concurrent] Added exercise 2 solution