Runtime error: Assert 'expects' failed (contracts_constructor.nit:20)