Smart Contracts Are Not as Smart as You Think