Runtime error: Assert 'expect(x == 1)' failed (contracts_virtual_type.nit:23)