QuantificationNewSyntaxResolution.dfy(11,43): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(12,31): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(13,24): Error: range of comprehension must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(17,43): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(18,31): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(19,24): Error: range of comprehension must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(23,46): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(24,34): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(25,27): Error: range of quantifier must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(29,46): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(30,34): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(31,27): Error: range of quantifier must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(35,37): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(36,25): Error: range of quantified variable must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(37,18): Error: range restriction in forall statement must be of type bool (instead got string)
QuantificationNewSyntaxResolution.dfy(44,19): Error: arguments to < must have a common supertype (got set<?> and seq<int>)
QuantificationNewSyntaxResolution.dfy(44,23): Error: the argument of a unary minus must have numeric or bitvector type (instead got seq<int>)
QuantificationNewSyntaxResolution.dfy(9,22): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
QuantificationNewSyntaxResolution.dfy(10,32): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
QuantificationNewSyntaxResolution.dfy(15,22): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type int, or a map with domain int (instead got int)
QuantificationNewSyntaxResolution.dfy(16,32): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
QuantificationNewSyntaxResolution.dfy(21,25): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type int, or a map with domain int (instead got int)
QuantificationNewSyntaxResolution.dfy(22,35): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
QuantificationNewSyntaxResolution.dfy(27,25): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type int, or a map with domain int (instead got int)
QuantificationNewSyntaxResolution.dfy(28,35): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
QuantificationNewSyntaxResolution.dfy(33,16): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
QuantificationNewSyntaxResolution.dfy(34,26): Error: domain of quantified variable must be a set, multiset, or sequence with elements of type ?, or a map with domain ? (instead got int)
27 resolution/type errors detected in QuantificationNewSyntaxResolution.dfy
