Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, dafny-lang/setup-dafny-action@v1.7.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

This label has not been referenced

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, dafny-lang/setup-dafny-action@v1.7.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, dafny-lang/setup-dafny-action@v1.7.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

This label has not been referenced

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected