The Smart Contract Flaw - Stressing the Need for a Machine Readable...