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

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-dotnet@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The variable 'isPost' is assigned but its value is never used

Non-nullable field '_hintLemmas' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.

Non-nullable field 'tyVarTranslation' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.

The field 'ProofGenSubsetChecker.result' is never used

The field 'ProofGenerationLayer.noEmptyBlocksCfg' is never used

The field 'PassificationLemmaManager.funAssmsName' is assigned but its value is never used

The field 'PassificationLemmaManager.varAssmsName' is assigned but its value is never used

The field 'MapDesugaringVisitor.index' is assigned but its value is never used

The field 'MapDesugaringVisitor.baseName' is assigned but its value is never used