jaylorch Make compatible with Dafny 3.0.0 and .NET Core 5