/lively4-mpm-debugging/src/blockchain/model/block