Better printing for some michelson's value in the storage when there is no annotation
All the fields of the storage are used.
-------------------------------------------------------
Result of permission analysis for entrypoint default, parameter : (unit%default)
Fail with "64" if (GET_CONTRACT ((address)) is None)
-------------------------------------------------------
Result of permission analysis for entrypoint set_delegate, parameter : (option%set_delegate(key_hash))
Fail with "401" if ((SENDER <> (address)))
Else
Fail with "57" if (GET_CONTRACT (SELF_ADDRESS) is None)
-------------------------------------------------------
Result of permission analysis for entrypoint withdraw, parameter : (pair%withdraw(address%recipient) (mutez%amount))
Fail with "401" if ((SENDER <> (address)))
Else
Fail with "79" if (GET_CONTRACT ((address%recipient)) is None)
Here the address in default entrypoint is the storage (the KT1 address : KT1DncqEjbsrpKxZzCQmoaPHBLKnjcdVi7EL)
Edited by Arnaud Bihan