unassert

unassert has the following syntax:

unassert vars var ...

Undoes any assertion about locks protecting the specified variables. There is no way to remove an assertion about a lock protecting a function.