Element 'dynamic analysis of smart contracts'