https://github.com/code-423n4/2024-05-predy/blob/a9246db5f874a91fb71c296aac6a66902289306a/src/libraries/logic/SupplyLogic.sol#L79-L91
This function is used to burn the bond and then transfer the token, we can see that to do this it also needs to query the balanceOf() on the supply tokens address. The issue, however, is that this implementation would always revert for some tokens like Auras stash tokens which do not implement the balanceOf() functionality.
DOS to SupplyLogic#burnBondAndTransferToken().
Consider querying the balance of on a low level.
