add dafny mode