[added] @preLocked and @arg1preLocked, @arg2preLocked, etc.. will
generate an assert that checks if the objects are locked before calling
the implementation method