Exploiting JML Names in the Proof Tree #3022

Tests

• ✅ key.core.testgen:test (13 succeeded)
• ✅ key.core:test (2953 succeeded, 102 skipped)
• ✅ key.core:testProveRules (198 succeeded)
• ❌ key.core:testRunAllFunProofs (28 succeeded, 6 failed)
• ❌ key.core:testRunAllInfProofs (27 succeeded, 2 failed)
• ✅ key.removegenerics:test (45 succeeded)
• ✅ key.ui:test (5 succeeded)
• ✅ key.util:test (132 succeeded)
• ✅ keyext.exploration:test (3 succeeded)
• ✅ keyext.slicing:test (12 succeeded)
• ✅ recoder:test (14 succeeded, 15 skipped)