Out[]=
​
In[]:=
res=MultiwaySystem[x_Integer+y_Integer:>x+y/;True,Unevaluated[(10+(20+30))]]
IsomorphicHypergraphQ
::shdw
:Symbol IsomorphicHypergraphQ appears in multiple contexts {SetReplace`,WolframInstitute`Hypergraph`}​; definitions in context SetReplace` may shadow or be shadowed by other definitions.
​
RandomHypergraph
::shdw
:Symbol RandomHypergraph appears in multiple contexts {SetReplace`,WolframInstitute`Hypergraph`}​; definitions in context SetReplace` may shadow or be shadowed by other definitions.
​
ToPatternRules
::shdw
:Symbol ToPatternRules appears in multiple contexts {SetReplace`,WolframInstitute`Hypergraph`}​; definitions in context SetReplace` may shadow or be shadowed by other definitions.
​
WolframModelEvolutionObject
::shdw
:Symbol WolframModelEvolutionObject appears in multiple contexts {SetReplace`,Global`}​; definitions in context SetReplace` may shadow or be shadowed by other definitions.
​
Out[]=
MultiwaySystem
Expression

In[]:=
res["TokenEventGraph",4]
Out[]=
In[]:=
MapAt[Framed,ToLinkedHypergraph[Unevaluated[(10+(20+30))]],{All,2}]
Out[]=
1,
Plus
,2,3,2,
10
,3,
Plus
,4,5,4,
20
,5,
30

In[]:=
ResourceFunction["WolframModelPlot"][MapAt[Framed,ToLinkedHypergraph[Unevaluated[(10+(20+30))]],{All,2}],VertexLabels->Automatic]
Out[]=
In[]:=
Hypergraph[MapAt[Framed,ToLinkedHypergraph[Unevaluated[(10+(20+30))]],{All,2}],VertexLabels->Automatic]
Out[]=
In[]:=
res=MultiwaySystem[x_Integer+y_Integer:>x+y/;True,Unevaluated[1+2]]
Out[]=
MultiwaySystem
Expression

In[]:=
res["TokenEventGraph",4]
Out[]=