// NONUNIFORM: https://github.com/dafny-lang/dafny/issues/4108
// RUN: %testDafnyForEachCompiler --refresh-exit-code=0 "%s" -- --relax-definite-assignment --spill-translation  --allow-deprecation --unicode-char false --verify-included-files
include "../../comp/Comprehensions.dfy"
