Is it possible to add Scilla transitions to the EVM transaction receipt?
Similar to how it has been done for events, as detailed here: https://github.com/Zilliqa/ZIP/blob/master/zips/zip-21.md#events
The motivation behind this is to gain the ability to understand the transaction flow better and to verify the existence of required transitions in the transaction receipt during testing.
Does this make sense to you?