change to UT_PTR_SET to simplify test
simplify mutex counter checks