Closed Unassigned: C# keywords cause C# errors in some places [116]

The following Dafny code produces illegal C# code:

```
datatype struct = S // this is ok

method Main()
{
var s := S; // this line generates illegal C# code
print s;
}
```