Fixing the broken automode

[mattulbrich]

Intended Change

The auto-mode in KeY does no longer work: It merely loads a file but does not try to prove it.
This PR partially reverts changes introduced in 8b6df72.

Plan

• Fix ConsoleUserInterfaceControl

Type of pull request

• Bug fix (non-breaking change which fixes an issue)

Ensuring quality

• I have tested the feature as follows: Run it on the CLI

Additional information and contact(s)

It re-establishes CLI behaviour that we used to have in KeY.

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[unp1]

Thanks looks fine.
Only suggestion I would have (and that issue is not introduced by this PR): We could pull line 135 before the if statement and then remove line 145 completely and replace result2 by result.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 38.19%. Comparing base (3c41ebb) to head (db23498).
Report is 40 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #3533      +/-   ##
============================================
+ Coverage     38.15%   38.19%   +0.03%     
- Complexity    17221    17228       +7     
============================================
  Files          2110     2111       +1     
  Lines        127630   127642      +12     
  Branches      21461    21463       +2     
============================================
+ Hits          48703    48750      +47     
+ Misses        72935    72903      -32     
+ Partials       5992     5989       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.