Added a variant on Rik's claim5 extension.

Conclusion: refactoring of concurrent regions is in the end desirable.