/* @generated */
digraph iCFG {
6 [label="6:  DeclStmt \n   *&0$?%__sil_tmpSIL_init_list__n$0.top:int =0 [line 17]\n  *&0$?%__sil_tmpSIL_init_list__n$0.left:int =0 [line 17]\n  *&0$?%__sil_tmpSIL_init_list__n$0.bottom:int =0 [line 17]\n  *&0$?%__sil_tmpSIL_init_list__n$0.right:int =0 [line 17]\n  _fun_Person_Person(&p:class Person *,&0$?%__sil_tmpSIL_init_list__n$0:class Insets ) [line 17]\n " shape="box"]
	

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

4 [label="4: Start test\nFormals: \nLocals:  p:class Person  0$?%__sil_tmpSIL_init_list__n$0:class Insets  \n   DECLARE_LOCALS(&return,&p,&0$?%__sil_tmpSIL_init_list__n$0); [line 17]\n " color=yellow style=filled]
	

	 4 -> 6 ;
3 [label="3:  Constructor Init \n   n$0=*&this:class Person * [line 14]\n  n$1=*&l:class Insets & [line 14]\n  n$2=*n$1.top:int  [line 14]\n  *n$0.age:int =n$2 [line 14]\n " shape="box"]
	

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

1 [label="1: Start Person_Person\nFormals:  this:class Person * l:class Insets &\nLocals:  \n   DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
	

	 1 -> 3 ;
}
