Dafny Syntax package