Improve testcoverage in the rec-mutex test