Dafny Documentation for Test Doc

Declarations
_