Is there a way to get the SSA form for the analyzed code?

Hi,

Thank you for building and maintaining this great too. I have a quick question.

I am interested in getting the Static Single Assignment (SSA) form for the code under analysis, and I would like to know if Spoon provides that. I could find some reference to implicit SSA creation here, but I wonder if there is a way to expose this functionality without the Z3 checking part.

Many thanks!

Start by locating Spoon's implicit SSA creation and the Z3 checking path referenced in the issue. Determine whether the SSA representation can be exposed independently of Z3, and document the relevant entry point or API needed to retrieve it. Done means users can obtain SSA for analyzed code without invoking Z3 checking.

Written by the indexing model from the issue text.