I like it. The Dafny annotations seem straightforward and approachable.

Anyone know of a similar system for Javascript?