Runtime error: Assert 'expects' failed (contracts.nit:31)