Allows redeeming on liquidation state, user DOCs get burned, and the user receives the equivalent RBTCs according to the liquidation price which is the relation between the DOCs total supply and the amount of RBTC available to distribute. The liquidation price can be queried with the view getLiquidationPrice()
of the contract MocState. If sending RBTC fails then the system does not burn the DOC tokens.