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