- [x] list all callable functions and arguments - [ ] generate a sequence of transactions/function calls - [ ] run them on the same VM with internal context that change over time