/* @generated */
digraph iCFG {
13 [label="13:  DeclStmt \n   n$2=*&a:class A * [line 22]\n  _=*n$2:class A  [line 22]\n  _fun_A_get(n$2:class A *,1:int ,&0$?%__sil_tmpSIL_materialize_temp__n$1:class X *) [line 22]\n  _fun_X_X(&x:class X *,&0$?%__sil_tmpSIL_materialize_temp__n$1:class X &) [line 22]\n " shape="box"]
	

	 13 -> 12 ;
12 [label="12:  Return Stmt \n   n$0=*&x.f:int  [line 23]\n  *&return:int =(1 / n$0) [line 23]\n " shape="box"]
	

	 12 -> 11 ;
11 [label="11: Exit test \n  " color=yellow style=filled]
	

10 [label="10: Start test\nFormals:  a:class A *\nLocals:  x:class X  0$?%__sil_tmpSIL_materialize_temp__n$1:class X  \n   DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 21]\n " color=yellow style=filled]
	

	 10 -> 13 ;
9 [label="9:  DeclStmt \n   _fun_X_X(&x:class X *) [line 16]\n " shape="box"]
	

	 9 -> 8 ;
8 [label="8:  Return Stmt \n   n$0=*&__return_param:class X * [line 17]\n  _fun_X_X(n$0:class X *,&x:class X &) [line 17]\n " shape="box"]
	

	 8 -> 7 ;
7 [label="7: Exit A_get \n  " color=yellow style=filled]
	

6 [label="6: Start A_get\nFormals:  this:class A * p:int  __return_param:class X *\nLocals:  x:class X  \n   DECLARE_LOCALS(&return,&x); [line 15]\n " color=yellow style=filled]
	

	 6 -> 9 ;
5 [label="5:  Constructor Init \n   n$0=*&this:class X * [line 10]\n  n$1=*&__param_0:class X & [line 10]\n  n$2=*n$1.f:int  [line 10]\n  *n$0.f:int =n$2 [line 10]\n " shape="box"]
	

	 5 -> 4 ;
4 [label="4: Exit X_X \n  " color=yellow style=filled]
	

3 [label="3: Start X_X\nFormals:  this:class X * __param_0:class X &\nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 3 -> 5 ;
2 [label="2: Exit X_X \n  " color=yellow style=filled]
	

1 [label="1: Start X_X\nFormals:  this:class X *\nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 1 -> 2 ;
}
