Transformation of Real-World Contracts to Smart Contracts for Blockchain Applications | Synapse