Submitting [this contract](https://pastebin.com/cky9bCew) via wallet will show a success message but the tx is [not submitted successfully](https://www.tauhq.com/transactions/debc28671d8881563c33fa651a080ea5427a23821cc1b54cb36805efd8d22bb5) Reason is maybe that the wallet only shows an error if it's an AssertionError(?)