CHECK: Verified 0/2 symbols. Waiting for f to verify.
CHECK: Verification part 1/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 2/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 3/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 4/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 5/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 6/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 7/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 8/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 9/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 10/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 11/11 of f, on line 5, verified successfully \(time: .*, resource count: .*\)
CHECK: Verified 1/2 symbols. Waiting for L to verify.
CHECK: Verification part 1/9 of L, on line 7, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 2/9 of L, on line 9, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 3/9 of L, on line 10, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 4/9 of L, on line 10, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 5/9 of L, on line 10, ran out of resources \(time: .*, resource count: .*\)
CHECK: Verification part 6/9 of L, on line 11, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 7/9 of L, on line 12, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 8/9 of L, on line 12, verified successfully \(time: .*, resource count: .*\)
CHECK: Verification part 9/9 of L, on line 12, ran out of resources
outOfResourceAndIsolateAssertions.dfy\(10,18\): Error: Verification out of resource \(L\)
outOfResourceAndIsolateAssertions.dfy\(12,18\): Error: Verification out of resource \(L\)

Dafny program verifier finished with 18 verified, 0 errors, 2 out of resource
