Support for static program slicing

### Describe the bug

Does Spoon support to do static program slicing for inter-procedural program analysis.

I see there are many many tools out there. But none of them support (or work actually) to do basic program analysis for example, data-flow analysis, control-flow analysis.

I am curious to know whether Spoon would fill this gap!

### Source code you are trying to analyze/transform

_No response_

### Source code for your Spoon processing

_No response_

### Actual output

_No response_

### Expected output

_No response_

### Spoon Version

latest

### JVM Version

11

### What operating system are you using?

Mac

Start by reviewing Spoon's existing Java AST analysis and transformation APIs to determine whether inter-procedural data-flow or control-flow analysis is already supported. The issue provides no source files or tests; the work would need a defined static-slicing scope and validation criteria before implementation can begin.

Written by the indexing model from the issue text.