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