Added Syntax for Dafny