Propagate error
facotri analyze kt1 KT1H7RRYpKppPduLqYs7uVroLNHSNrs1HP3M
Found unbounded data structure with non-lazy deserialization in the storage
map is used once in the storage
token_info field is a map in the storage
There is a CALL_CONTRACT in this contract, check for reentrancy
[propagate_opt] Not an option