Yes, Credo's contract code lacks of exception for such case. Probably the coder has not even knew about decentralized exchanges... no expierience in this area implies the team has to resolve this issue manually.