Don’t “Go Freaking Do It“ - Smart Contract Analysisby@jesperht