Simple Dafny Example