/lively4-mpm-debugging/src/blockchain/view