Function: withdraw()
The function allows users to withdraw their expired lock positions, returning the locked Anzen back.
Branches and code coverage
Intended branches
Remove user's position data and transfer Anzen back to the user.
Negative behavior
Revert if the position is not expired.
Revert if no Anzen is locked to withdraw.