'AESDecryptInput' does not contain a definition for '_encAlg' and no accessible extension method '_encAlg' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESDecryptInput' does not contain a definition for '_key' and no accessible extension method '_key' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESDecryptInput' does not contain a definition for '_cipherTxt' and no accessible extension method '_cipherTxt' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESDecryptInput' does not contain a definition for '_authTag' and no accessible extension method '_authTag' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESDecryptInput' does not contain a definition for '_iv' and no accessible extension method '_iv' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESDecryptInput' does not contain a definition for '_aad' and no accessible extension method '_aad' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESEncryptInput' does not contain a definition for '_encAlg' and no accessible extension method '_encAlg' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESEncryptInput' does not contain a definition for '_iv' and no accessible extension method '_iv' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESEncryptInput' does not contain a definition for '_key' and no accessible extension method '_key' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)

'AESEncryptInput' does not contain a definition for '_msg' and no accessible extension method '_msg' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-dotnet@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