Setup PyContracts interface