Formatter #3034

Tests

• ✅ key.core.testgen:test (13 succeeded)
• ❌ key.core:test (2917 succeeded, 2 failed, 104 skipped)
• ✅ key.core:testProveRules (196 succeeded)
• ❌ key.core:testRunAllFunProofs (39 succeeded, 8 failed)
• ✅ key.core:testRunAllInfProofs (30 succeeded)
• ✅ key.removegenerics:test (45 succeeded)
• ✅ key.util:test (158 succeeded)
• ✅ recoder:test (14 succeeded, 15 skipped)