/* @generated */
digraph iCFG {
30 [label="30:  Return Stmt \n   n$0=*&s:class ExecStore<Choose2> & [line 41]\n  _=*n$0.f:class Choose2  [line 41]\n  n$2=_fun_Choose2_extra(n$0.f:class Choose2 &,1:int ) [line 41]\n  *&return:int =n$2 [line 41]\n " shape="box"]
	

	 30 -> 29 ;
29 [label="29: Exit choose2_div1_extra \n  " color=yellow style=filled]
	

28 [label="28: Start choose2_div1_extra\nFormals:  s:class ExecStore<Choose2> &\nLocals:  \n   DECLARE_LOCALS(&return); [line 41]\n " color=yellow style=filled]
	

	 28 -> 30 ;
27 [label="27:  Return Stmt \n   n$0=*&s:class ExecStore<Choose2> & [line 39]\n  _=*n$0.f:class Choose2  [line 39]\n  n$2=_fun_Choose2_extra(n$0.f:class Choose2 &,0:int ) [line 39]\n  *&return:int =n$2 [line 39]\n " shape="box"]
	

	 27 -> 26 ;
26 [label="26: Exit choose2_div0_extra \n  " color=yellow style=filled]
	

25 [label="25: Start choose2_div0_extra\nFormals:  s:class ExecStore<Choose2> &\nLocals:  \n   DECLARE_LOCALS(&return); [line 39]\n " color=yellow style=filled]
	

	 25 -> 27 ;
24 [label="24:  Return Stmt \n   n$0=*&s:class ExecStore<Choose2> & [line 36]\n  _=*n$0:class ExecStore<Choose2>  [line 36]\n  n$2=_fun_ExecStore<Choose2>_call_div(n$0:class ExecStore<Choose2> &,1:int ) [line 36]\n  *&return:int =n$2 [line 36]\n " shape="box"]
	

	 24 -> 23 ;
23 [label="23: Exit choose2_div0_no_report \n  " color=yellow style=filled]
	

22 [label="22: Start choose2_div0_no_report\nFormals:  s:class ExecStore<Choose2> &\nLocals:  \n   DECLARE_LOCALS(&return); [line 34]\n " color=yellow style=filled]
	

	 22 -> 24 ;
21 [label="21:  Return Stmt \n   n$0=*&s:class ExecStore<Choose1> & [line 32]\n  _=*n$0:class ExecStore<Choose1>  [line 32]\n  n$2=_fun_ExecStore<Choose1>_call_div(n$0:class ExecStore<Choose1> &,1:int ) [line 32]\n  *&return:int =n$2 [line 32]\n " shape="box"]
	

	 21 -> 20 ;
20 [label="20: Exit choose1_div1 \n  " color=yellow style=filled]
	

19 [label="19: Start choose1_div1\nFormals:  s:class ExecStore<Choose1> &\nLocals:  \n   DECLARE_LOCALS(&return); [line 32]\n " color=yellow style=filled]
	

	 19 -> 21 ;
18 [label="18:  Return Stmt \n   n$0=*&s:class ExecStore<Choose1> & [line 30]\n  _=*n$0:class ExecStore<Choose1>  [line 30]\n  n$2=_fun_ExecStore<Choose1>_call_div(n$0:class ExecStore<Choose1> &,0:int ) [line 30]\n  *&return:int =n$2 [line 30]\n " shape="box"]
	

	 18 -> 17 ;
17 [label="17: Exit choose1_div0 \n  " color=yellow style=filled]
	

16 [label="16: Start choose1_div0\nFormals:  s:class ExecStore<Choose1> &\nLocals:  \n   DECLARE_LOCALS(&return); [line 30]\n " color=yellow style=filled]
	

	 16 -> 18 ;
15 [label="15:  Return Stmt \n   n$0=*&this:class ExecStore<Choose2> * [line 26]\n  _=*n$0.f:class Choose2  [line 26]\n  n$2=*&a:int  [line 26]\n  n$3=_fun_Choose2_div(n$0.f:class Choose2 &,n$2:int ,0:int ) [line 26]\n  *&return:int =n$3 [line 26]\n " shape="box"]
	

	 15 -> 14 ;
14 [label="14: Exit ExecStore<Choose2>_call_div \n  " color=yellow style=filled]
	

13 [label="13: Start ExecStore<Choose2>_call_div\nFormals:  this:class ExecStore<Choose2> * a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 24]\n " color=yellow style=filled]
	

	 13 -> 15 ;
12 [label="12:  Return Stmt \n   n$0=*&this:class ExecStore<Choose1> * [line 26]\n  _=*n$0.f:class Choose1  [line 26]\n  n$2=*&a:int  [line 26]\n  n$3=_fun_Choose1_div(n$0.f:class Choose1 &,n$2:int ,0:int ) [line 26]\n  *&return:int =n$3 [line 26]\n " shape="box"]
	

	 12 -> 11 ;
11 [label="11: Exit ExecStore<Choose1>_call_div \n  " color=yellow style=filled]
	

10 [label="10: Start ExecStore<Choose1>_call_div\nFormals:  this:class ExecStore<Choose1> * a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 24]\n " color=yellow style=filled]
	

	 10 -> 12 ;
9 [label="9:  Return Stmt \n   n$0=*&a:int  [line 18]\n  *&return:int =(1 / n$0) [line 18]\n " shape="box"]
	

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

7 [label="7: Start Choose2_extra\nFormals:  this:class Choose2 * a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
	

	 7 -> 9 ;
6 [label="6:  Return Stmt \n   n$0=*&b:int  [line 15]\n  *&return:int =(1 / n$0) [line 15]\n " shape="box"]
	

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

4 [label="4: Start Choose2_div\nFormals:  this:class Choose2 * a:int  b:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
	

	 4 -> 6 ;
3 [label="3:  Return Stmt \n   n$0=*&a:int  [line 11]\n  *&return:int =(1 / n$0) [line 11]\n " shape="box"]
	

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

1 [label="1: Start Choose1_div\nFormals:  this:class Choose1 * a:int  b:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled]
	

	 1 -> 3 ;
}
