Move code to destroy all computations in a token into a new function.
Create new member function release_token( ).
Move release_token( ) next to destroy_all_computations_in_token(t).
Simply control flow for try_release_token(t).
Move check for invariant out of if statement.
Remove dead code.
Remove unnecessary if statement.