VSW: added some dafny examples