fix: Frame and termination checks are now subject to by-proofs of method calls · dafny-lang/dafny@f869071

Run AutoExtern Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Run DafnyCore Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Build: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Build: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

Build: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Build: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

Converting null literal or possible null value to non-nullable type.

Run DafnyPipeline Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Converting null literal or possible null value to non-nullable type.

Run DafnyDriver Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Run DafnyDriver Tests: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

Provide feedback