fix: fix reason extraction#82

stephenctw merged 1 commit intofeature/add-checkpoint-primitivescartesi/machine-solidity-step:feature/add-checkpoint-primitivesfrom

feature/fix-reasoncartesi/machine-solidity-step:feature/fix-reasonCopy head branch name to clipboard