parallel:
var i = 0
while i <= a.high:
spawn f(a[i])
spawn f(a[i+1])
# ERROR: cannot prove a[i] is disjoint from a[i+1]
# BUT: replace 'i += 1' with 'i += 2' and the code compiles!
i += 1
cGFyYWxsZWw6CiAgdmFyIGkgPSAwCiAgd2hpbGUgaSA8PSBhLmhpZ2g6CiAgICBzcGF3biBmKGFbaV0pCiAgICBzcGF3biBmKGFbaSsxXSkKICAgICMgRVJST1I6IGNhbm5vdCBwcm92ZSBhW2ldIGlzIGRpc2pvaW50IGZyb20gYVtpKzFdCiAgICAjIEJVVDogcmVwbGFjZSAnaSArPSAxJyB3aXRoICdpICs9IDInIGFuZCB0aGUgY29kZSBjb21waWxlcyEKICAgIGkgKz0gMQ==