This checker is made above PthreadLockChecker and works the same. It is adapted for the next primitives:
Base checker class is extended for shared semantics checks.
P.S. Test file is quite big. But it just consists of the same blocks for each mutex kind. Except shared semantics has a bit different tests.