Add Contracts to Your Code:
Generate Contracted Code: