1 2 3 4 5 6 7 8 9 10 11
// RUN: %dafny /compile:0 "%s" > "%t" // RUN: %diff "%s.expect" "%t" class Cell { method Test(c: Cell) { assert c.F(); } } predicate F()