RuntimeTypeTests1.dfy(18,7): Error: set comprehensions in non-ghost contexts must be compilable, but Dafny's heuristics can't figure out how to produce or compile a bounded set of values for 'x'
1 resolution/type errors detected in RuntimeTypeTests1.dfy
