AsIs-SimplifiedExpanded-Resolve.dfy(9,16): Error: type test for type 'char' must be from an expression assignable to it (got 'bool')
AsIs-SimplifiedExpanded-Resolve.dfy(10,16): Error: type test for type 'int' must be from an expression assignable to it (got 'bool')
AsIs-SimplifiedExpanded-Resolve.dfy(11,16): Error: type test for type 'bv7' must be from an expression assignable to it (got 'bool')
AsIs-SimplifiedExpanded-Resolve.dfy(12,16): Error: type test for type 'bv13' must be from an expression assignable to it (got 'bool')
AsIs-SimplifiedExpanded-Resolve.dfy(13,16): Error: type test for type 'ORDINAL' must be from an expression assignable to it (got 'bool')
AsIs-SimplifiedExpanded-Resolve.dfy(14,16): Error: type test for type 'real' must be from an expression assignable to it (got 'bool')
AsIs-SimplifiedExpanded-Resolve.dfy(16,16): Error: type test for type 'bool' must be from an expression assignable to it (got 'char')
AsIs-SimplifiedExpanded-Resolve.dfy(19,16): Error: type test for type 'bv7' must be from an expression assignable to it (got 'char')
AsIs-SimplifiedExpanded-Resolve.dfy(20,16): Error: type test for type 'bv13' must be from an expression assignable to it (got 'char')
AsIs-SimplifiedExpanded-Resolve.dfy(21,16): Error: type test for type 'ORDINAL' must be from an expression assignable to it (got 'char')
AsIs-SimplifiedExpanded-Resolve.dfy(22,16): Error: type test for type 'real' must be from an expression assignable to it (got 'char')
AsIs-SimplifiedExpanded-Resolve.dfy(24,16): Error: type test for type 'bool' must be from an expression assignable to it (got 'int')
AsIs-SimplifiedExpanded-Resolve.dfy(32,16): Error: type test for type 'bool' must be from an expression assignable to it (got 'bv7')
AsIs-SimplifiedExpanded-Resolve.dfy(33,16): Error: type test for type 'char' must be from an expression assignable to it (got 'bv7')
AsIs-SimplifiedExpanded-Resolve.dfy(37,16): Error: type test for type 'ORDINAL' must be from an expression assignable to it (got 'bv7')
AsIs-SimplifiedExpanded-Resolve.dfy(38,16): Error: type test for type 'real' must be from an expression assignable to it (got 'bv7')
AsIs-SimplifiedExpanded-Resolve.dfy(40,16): Error: type test for type 'bool' must be from an expression assignable to it (got 'bv13')
AsIs-SimplifiedExpanded-Resolve.dfy(41,16): Error: type test for type 'char' must be from an expression assignable to it (got 'bv13')
AsIs-SimplifiedExpanded-Resolve.dfy(45,16): Error: type test for type 'ORDINAL' must be from an expression assignable to it (got 'bv13')
AsIs-SimplifiedExpanded-Resolve.dfy(46,16): Error: type test for type 'real' must be from an expression assignable to it (got 'bv13')
AsIs-SimplifiedExpanded-Resolve.dfy(48,16): Error: type test for type 'bool' must be from an expression assignable to it (got 'ORDINAL')
AsIs-SimplifiedExpanded-Resolve.dfy(49,16): Error: type test for type 'char' must be from an expression assignable to it (got 'ORDINAL')
AsIs-SimplifiedExpanded-Resolve.dfy(51,16): Error: type test for type 'bv7' must be from an expression assignable to it (got 'ORDINAL')
AsIs-SimplifiedExpanded-Resolve.dfy(52,16): Error: type test for type 'bv13' must be from an expression assignable to it (got 'ORDINAL')
AsIs-SimplifiedExpanded-Resolve.dfy(54,16): Error: type test for type 'real' must be from an expression assignable to it (got 'ORDINAL')
AsIs-SimplifiedExpanded-Resolve.dfy(56,16): Error: type test for type 'bool' must be from an expression assignable to it (got 'real')
AsIs-SimplifiedExpanded-Resolve.dfy(57,16): Error: type test for type 'char' must be from an expression assignable to it (got 'real')
AsIs-SimplifiedExpanded-Resolve.dfy(59,16): Error: type test for type 'bv7' must be from an expression assignable to it (got 'real')
AsIs-SimplifiedExpanded-Resolve.dfy(60,16): Error: type test for type 'bv13' must be from an expression assignable to it (got 'real')
AsIs-SimplifiedExpanded-Resolve.dfy(61,16): Error: type test for type 'ORDINAL' must be from an expression assignable to it (got 'real')
AsIs-SimplifiedExpanded-Resolve.dfy(70,16): Error: type conversion to a char type is allowed only from numeric and bitvector types, char, and ORDINAL (got bool)
AsIs-SimplifiedExpanded-Resolve.dfy(71,16): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got bool)
AsIs-SimplifiedExpanded-Resolve.dfy(72,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got bool)
AsIs-SimplifiedExpanded-Resolve.dfy(73,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got bool)
AsIs-SimplifiedExpanded-Resolve.dfy(74,16): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got bool)
AsIs-SimplifiedExpanded-Resolve.dfy(75,16): Error: type conversion to a real-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got bool)
AsIs-SimplifiedExpanded-Resolve.dfy(77,16): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'char')
AsIs-SimplifiedExpanded-Resolve.dfy(80,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got char)
AsIs-SimplifiedExpanded-Resolve.dfy(81,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got char)
AsIs-SimplifiedExpanded-Resolve.dfy(82,16): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got char)
AsIs-SimplifiedExpanded-Resolve.dfy(83,16): Error: type conversion to a real-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got char)
AsIs-SimplifiedExpanded-Resolve.dfy(85,16): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'int')
AsIs-SimplifiedExpanded-Resolve.dfy(93,16): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'bv7')
AsIs-SimplifiedExpanded-Resolve.dfy(94,16): Error: type conversion to a char type is allowed only from numeric and bitvector types, char, and ORDINAL (got bv7)
AsIs-SimplifiedExpanded-Resolve.dfy(98,16): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got bv7)
AsIs-SimplifiedExpanded-Resolve.dfy(99,16): Error: type conversion to a real-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got bv7)
AsIs-SimplifiedExpanded-Resolve.dfy(101,16): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'bv13')
AsIs-SimplifiedExpanded-Resolve.dfy(102,16): Error: type conversion to a char type is allowed only from numeric and bitvector types, char, and ORDINAL (got bv13)
AsIs-SimplifiedExpanded-Resolve.dfy(106,16): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got bv13)
AsIs-SimplifiedExpanded-Resolve.dfy(107,16): Error: type conversion to a real-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got bv13)
AsIs-SimplifiedExpanded-Resolve.dfy(109,16): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'ORDINAL')
AsIs-SimplifiedExpanded-Resolve.dfy(110,16): Error: type conversion to a char type is allowed only from numeric and bitvector types, char, and ORDINAL (got ORDINAL)
AsIs-SimplifiedExpanded-Resolve.dfy(112,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got ORDINAL)
AsIs-SimplifiedExpanded-Resolve.dfy(113,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got ORDINAL)
AsIs-SimplifiedExpanded-Resolve.dfy(115,16): Error: type conversion to a real-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got ORDINAL)
AsIs-SimplifiedExpanded-Resolve.dfy(117,16): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'real')
AsIs-SimplifiedExpanded-Resolve.dfy(118,16): Error: type conversion to a char type is allowed only from numeric and bitvector types, char, and ORDINAL (got real)
AsIs-SimplifiedExpanded-Resolve.dfy(120,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got real)
AsIs-SimplifiedExpanded-Resolve.dfy(121,16): Error: type conversion to a bitvector-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got real)
AsIs-SimplifiedExpanded-Resolve.dfy(122,16): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got real)
AsIs-SimplifiedExpanded-Resolve.dfy(137,15): Error: type test for type 'T' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(138,15): Error: type test for type 'U' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(139,15): Error: type test for type 'int' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(140,15): Error: type test for type 'nat' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(141,15): Error: type test for type 'AbstractType<NAT, NAT, NAT>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(142,15): Error: type test for type 'AbstractType<NAT, NAT, INT>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(143,15): Error: type test for type 'AbstractType<NAT, INT, NAT>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(145,15): Error: type test for type 'AbstractType<INT, NAT, NAT>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(146,15): Error: type test for type 'AbstractType<INT, NAT, INT>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(149,15): Error: type test for type '(int, int)' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(150,15): Error: type test for type 'set<int>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(151,15): Error: type test for type 'object' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(152,15): Error: type test for type 'array2<int>' must be from an expression assignable to it (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(155,15): Error: type test for type 'T' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(156,15): Error: type test for type 'U' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(157,15): Error: type test for type 'int' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(158,15): Error: type test for type 'nat' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(161,15): Error: type test for type 'AbstractType<NAT, INT, NAT>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(162,15): Error: type test for type 'AbstractType<NAT, INT, INT>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(164,15): Error: type test for type 'AbstractType<INT, NAT, INT>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(165,15): Error: type test for type 'AbstractType<INT, INT, NAT>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(166,15): Error: type test for type 'AbstractType<INT, INT, INT>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(167,15): Error: type test for type '(int, int)' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(168,15): Error: type test for type 'set<int>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(169,15): Error: type test for type 'object' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(170,15): Error: type test for type 'array2<int>' must be from an expression assignable to it (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(174,15): Error: type test for type 'U' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(175,15): Error: type test for type 'int' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(176,15): Error: type test for type 'nat' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(177,15): Error: type test for type 'AbstractType<NAT, NAT, NAT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(178,15): Error: type test for type 'AbstractType<NAT, NAT, INT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(179,15): Error: type test for type 'AbstractType<NAT, INT, NAT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(180,15): Error: type test for type 'AbstractType<NAT, INT, INT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(181,15): Error: type test for type 'AbstractType<INT, NAT, NAT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(182,15): Error: type test for type 'AbstractType<INT, NAT, INT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(183,15): Error: type test for type 'AbstractType<INT, INT, NAT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(184,15): Error: type test for type 'AbstractType<INT, INT, INT>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(185,15): Error: type test for type '(int, int)' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(186,15): Error: type test for type 'set<int>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(187,15): Error: type test for type 'object' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(188,15): Error: type test for type 'array2<int>' must be from an expression assignable to it (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(196,15): Error: type cast to type 'T' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(197,15): Error: type cast to type 'U' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(198,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got AbstractType<INT, INT, INT>)
AsIs-SimplifiedExpanded-Resolve.dfy(199,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got AbstractType<INT, INT, INT>)
AsIs-SimplifiedExpanded-Resolve.dfy(200,15): Error: type cast to type 'AbstractType<NAT, NAT, NAT>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(201,15): Error: type cast to type 'AbstractType<NAT, NAT, INT>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(202,15): Error: type cast to type 'AbstractType<NAT, INT, NAT>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(204,15): Error: type cast to type 'AbstractType<INT, NAT, NAT>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(205,15): Error: type cast to type 'AbstractType<INT, NAT, INT>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(208,15): Error: type cast to type '(int, int)' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(209,15): Error: type cast to type 'set<int>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(210,15): Error: type cast to reference type 'object' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(211,15): Error: type cast to reference type 'array2<int>' must be from an expression of a compatible type (got 'AbstractType<INT, INT, INT>')
AsIs-SimplifiedExpanded-Resolve.dfy(214,15): Error: type cast to type 'T' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(215,15): Error: type cast to type 'U' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(216,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got AbstractType<NAT, NAT, NAT>)
AsIs-SimplifiedExpanded-Resolve.dfy(217,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got AbstractType<NAT, NAT, NAT>)
AsIs-SimplifiedExpanded-Resolve.dfy(220,15): Error: type cast to type 'AbstractType<NAT, INT, NAT>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(221,15): Error: type cast to type 'AbstractType<NAT, INT, INT>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(223,15): Error: type cast to type 'AbstractType<INT, NAT, INT>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(224,15): Error: type cast to type 'AbstractType<INT, INT, NAT>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(225,15): Error: type cast to type 'AbstractType<INT, INT, INT>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(226,15): Error: type cast to type '(int, int)' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(227,15): Error: type cast to type 'set<int>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(228,15): Error: type cast to reference type 'object' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(229,15): Error: type cast to reference type 'array2<int>' must be from an expression of a compatible type (got 'AbstractType<NAT, NAT, NAT>')
AsIs-SimplifiedExpanded-Resolve.dfy(233,15): Error: type cast to type 'U' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(234,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got T)
AsIs-SimplifiedExpanded-Resolve.dfy(235,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got T)
AsIs-SimplifiedExpanded-Resolve.dfy(236,15): Error: type cast to type 'AbstractType<NAT, NAT, NAT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(237,15): Error: type cast to type 'AbstractType<NAT, NAT, INT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(238,15): Error: type cast to type 'AbstractType<NAT, INT, NAT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(239,15): Error: type cast to type 'AbstractType<NAT, INT, INT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(240,15): Error: type cast to type 'AbstractType<INT, NAT, NAT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(241,15): Error: type cast to type 'AbstractType<INT, NAT, INT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(242,15): Error: type cast to type 'AbstractType<INT, INT, NAT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(243,15): Error: type cast to type 'AbstractType<INT, INT, INT>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(244,15): Error: type cast to type '(int, int)' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(245,15): Error: type cast to type 'set<int>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(246,15): Error: type cast to reference type 'object' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(247,15): Error: type cast to reference type 'array2<int>' must be from an expression of a compatible type (got 'T')
AsIs-SimplifiedExpanded-Resolve.dfy(255,15): Error: type test for type 'int' must be from an expression assignable to it (got 'set<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(257,15): Error: type test for type '(int, int)' must be from an expression assignable to it (got 'set<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(258,15): Error: type test for type 'array2<int>' must be from an expression assignable to it (got 'set<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(262,15): Error: type test for type 'int' must be from an expression assignable to it (got '(int, int)')
AsIs-SimplifiedExpanded-Resolve.dfy(263,15): Error: type test for type 'set<int>' must be from an expression assignable to it (got '(int, int)')
AsIs-SimplifiedExpanded-Resolve.dfy(265,15): Error: type test for type 'array2<int>' must be from an expression assignable to it (got '(int, int)')
AsIs-SimplifiedExpanded-Resolve.dfy(269,15): Error: type test for type 'int' must be from an expression assignable to it (got 'array2<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(270,15): Error: type test for type 'set<int>' must be from an expression assignable to it (got 'array2<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(271,15): Error: type test for type '(int, int)' must be from an expression assignable to it (got 'array2<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(281,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got set<int>)
AsIs-SimplifiedExpanded-Resolve.dfy(283,15): Error: type cast to type '(int, int)' must be from an expression of a compatible type (got 'set<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(284,15): Error: type cast to reference type 'array2<int>' must be from an expression of a compatible type (got 'set<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(288,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got (int, int))
AsIs-SimplifiedExpanded-Resolve.dfy(289,15): Error: type cast to type 'set<int>' must be from an expression of a compatible type (got '(int, int)')
AsIs-SimplifiedExpanded-Resolve.dfy(291,15): Error: type cast to reference type 'array2<int>' must be from an expression of a compatible type (got '(int, int)')
AsIs-SimplifiedExpanded-Resolve.dfy(295,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got array2<int>)
AsIs-SimplifiedExpanded-Resolve.dfy(296,15): Error: type cast to type 'set<int>' must be from an expression of a compatible type (got 'array2<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(297,15): Error: type cast to type '(int, int)' must be from an expression of a compatible type (got 'array2<int>')
AsIs-SimplifiedExpanded-Resolve.dfy(313,15): Error: type test for type 'bool' must be from an expression assignable to it (got 'int')
AsIs-SimplifiedExpanded-Resolve.dfy(320,15): Error: type test for type 'bool' must be from an expression assignable to it (got 'NewInt')
AsIs-SimplifiedExpanded-Resolve.dfy(327,15): Error: type test for type 'bool' must be from an expression assignable to it (got 'NewNewInt')
AsIs-SimplifiedExpanded-Resolve.dfy(359,15): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'int')
AsIs-SimplifiedExpanded-Resolve.dfy(366,15): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'NewInt')
AsIs-SimplifiedExpanded-Resolve.dfy(373,15): Error: type cast to type 'bool' must be from an expression of a compatible type (got 'NewNewInt')
AsIs-SimplifiedExpanded-Resolve.dfy(427,15): Error: type test for type 'DDD' must be from an expression assignable to it (got 'CCC')
AsIs-SimplifiedExpanded-Resolve.dfy(428,15): Error: type test for type 'EEE' must be from an expression assignable to it (got 'CCC')
AsIs-SimplifiedExpanded-Resolve.dfy(432,15): Error: type test for type 'CCC' must be from an expression assignable to it (got 'DDD')
AsIs-SimplifiedExpanded-Resolve.dfy(434,15): Error: type test for type 'EEE' must be from an expression assignable to it (got 'DDD')
AsIs-SimplifiedExpanded-Resolve.dfy(438,15): Error: type test for type 'CCC' must be from an expression assignable to it (got 'EEE')
AsIs-SimplifiedExpanded-Resolve.dfy(439,15): Error: type test for type 'DDD' must be from an expression assignable to it (got 'EEE')
AsIs-SimplifiedExpanded-Resolve.dfy(462,15): Error: type cast to type 'DDD' must be from an expression of a compatible type (got 'CCC')
AsIs-SimplifiedExpanded-Resolve.dfy(463,15): Error: type cast to reference type 'EEE' must be from an expression of a compatible type (got 'CCC')
AsIs-SimplifiedExpanded-Resolve.dfy(467,15): Error: type cast to trait type 'CCC' must be from an expression of a compatible type (got 'DDD')
AsIs-SimplifiedExpanded-Resolve.dfy(469,15): Error: type cast to reference type 'EEE' must be from an expression of a compatible type (got 'DDD')
AsIs-SimplifiedExpanded-Resolve.dfy(473,15): Error: type cast to trait type 'CCC' must be from an expression of a compatible type (got 'EEE')
AsIs-SimplifiedExpanded-Resolve.dfy(474,15): Error: type cast to type 'DDD' must be from an expression of a compatible type (got 'EEE')
AsIs-SimplifiedExpanded-Resolve.dfy(488,16): Error: type test for type '(int, int, int)' must be from an expression assignable to it (got '(Y, Y, Y)')
AsIs-SimplifiedExpanded-Resolve.dfy(495,16): Error: type test for type '(int, int, int)' must be from an expression assignable to it (got 'Triple<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(502,16): Error: type test for type '(int, int, int)' must be from an expression assignable to it (got 'TA<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(509,16): Error: type test for type '(int, int, int)' must be from an expression assignable to it (got 'TB<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(516,17): Error: type test for type '(int, int, int)' must be from an expression assignable to it (got 'TBB<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(528,16): Error: type cast to type '(int, int, int)' must be from an expression of a compatible type (got '(Y, Y, Y)')
AsIs-SimplifiedExpanded-Resolve.dfy(535,16): Error: type cast to type '(int, int, int)' must be from an expression of a compatible type (got 'Triple<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(542,16): Error: type cast to type '(int, int, int)' must be from an expression of a compatible type (got 'TA<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(549,16): Error: type cast to type '(int, int, int)' must be from an expression of a compatible type (got 'TB<Y>')
AsIs-SimplifiedExpanded-Resolve.dfy(556,17): Error: type cast to type '(int, int, int)' must be from an expression of a compatible type (got 'TBB<Y>')
188 resolution/type errors detected in AsIs-SimplifiedExpanded-Resolve.dfy
