/* @generated */
digraph iCFG {
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_1" [label="1: Start simple_init_div1\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 10]\n " color=yellow style=filled]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_1" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_7" ;
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_2" [label="2: Exit simple_init_div1 \n  " color=yellow style=filled]
	

"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_3" [label="3: + \n  " ]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_3" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_4" ;
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_4" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_2" ;
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 11]\n  PRUNE((n$0 != 0), true); [line 11]\n " shape="invhouse"]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_5" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_8" ;
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 11]\n  PRUNE((n$0 == 0), false); [line 11]\n " shape="invhouse"]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_6" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_3" ;
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_7" [label="7:  DeclStmt \n   *&a:int=1 [line 11]\n " shape="box"]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_7" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_5" ;
	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_7" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_6" ;
"simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_8" [label="8:  Return Stmt \n   n$1=*&a:int [line 12]\n  *&return:int=(1 / n$1) [line 12]\n " shape="box"]
	

	 "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_8" -> "simple_init_div1#_Z16simple_init_div1v.71983e33b10f4541f47e1e84e765d541_2" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_1" [label="1: Start simple_init_div0\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 16]\n " color=yellow style=filled]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_1" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_7" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_2" [label="2: Exit simple_init_div0 \n  " color=yellow style=filled]
	

"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_3" [label="3: + \n  " ]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_3" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_4" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_4" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_2" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 17]\n  PRUNE((n$0 != 0), true); [line 17]\n " shape="invhouse"]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_5" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_8" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 17]\n  PRUNE((n$0 == 0), false); [line 17]\n " shape="invhouse"]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_6" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_9" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_7" [label="7:  DeclStmt \n   *&a:int=0 [line 17]\n " shape="box"]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_7" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_5" ;
	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_7" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_6" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_8" [label="8:  Return Stmt \n   n$1=*&a:int [line 18]\n  *&return:int=n$1 [line 18]\n " shape="box"]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_8" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_2" ;
"simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_9" [label="9:  Return Stmt \n   n$2=*&a:int [line 20]\n  *&return:int=(1 / n$2) [line 20]\n " shape="box"]
	

	 "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_9" -> "simple_init_div0#_Z16simple_init_div0v.888e847bca66c46d7d8772ca91b8f93e_2" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_1" [label="1: Start simple_inif_elseif_div0\nFormals: \nLocals:  a:int b:int \n   DECLARE_LOCALS(&return,&a,&b); [line 24]\n " color=yellow style=filled]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_1" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_7" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_2" [label="2: Exit simple_inif_elseif_div0 \n  " color=yellow style=filled]
	

"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_3" [label="3: + \n  " ]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_3" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_4" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_4" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_2" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 25]\n  PRUNE((n$0 != 0), true); [line 25]\n " shape="invhouse"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_5" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_8" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 25]\n  PRUNE((n$0 == 0), false); [line 25]\n " shape="invhouse"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_6" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_12" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_7" [label="7:  DeclStmt \n   *&a:int=0 [line 25]\n " shape="box"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_7" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_5" ;
	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_7" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_6" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_8" [label="8:  Return Stmt \n   *&return:int=1 [line 26]\n " shape="box"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_8" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_2" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_9" [label="9: + \n  " ]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_9" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_3" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_10" [label="10: Prune (true branch) \n   n$1=*&b:int [line 27]\n  PRUNE((n$1 != 0), true); [line 27]\n " shape="invhouse"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_10" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_13" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_11" [label="11: Prune (false branch) \n   n$1=*&b:int [line 27]\n  PRUNE((n$1 == 0), false); [line 27]\n " shape="invhouse"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_11" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_14" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_12" [label="12:  DeclStmt \n   *&b:int=0 [line 27]\n " shape="box"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_12" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_10" ;
	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_12" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_11" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_13" [label="13:  Return Stmt \n   *&return:int=1 [line 28]\n " shape="box"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_13" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_2" ;
"simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_14" [label="14:  Return Stmt \n   n$2=*&a:int [line 30]\n  n$3=*&b:int [line 30]\n  *&return:int=(1 / (n$2 + n$3)) [line 30]\n " shape="box"]
	

	 "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_14" -> "simple_inif_elseif_div0#_Z23simple_inif_elseif_div0v.88ddc6afa6e9fa024ac72c703f9de12f_2" ;
"get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_1" [label="1: Start get1\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 34]\n " color=yellow style=filled]
	

	 "get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_1" -> "get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_3" ;
"get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_2" [label="2: Exit get1 \n  " color=yellow style=filled]
	

"get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_3" [label="3:  Return Stmt \n   *&return:int=1 [line 34]\n " shape="box"]
	

	 "get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_3" -> "get1#_Z4get1v.ee5917de44ba465a4408f834ad2107f4_2" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_1" [label="1: Start function_call_init_div0\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 36]\n " color=yellow style=filled]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_1" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_7" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_2" [label="2: Exit function_call_init_div0 \n  " color=yellow style=filled]
	

"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_3" [label="3: + \n  " ]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_3" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_4" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_4" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_2" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 37]\n  PRUNE((n$0 != 0), true); [line 37]\n " shape="invhouse"]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_5" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_8" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 37]\n  PRUNE((n$0 == 0), false); [line 37]\n " shape="invhouse"]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_6" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_3" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_7" [label="7:  DeclStmt \n   n$1=_fun_get1() [line 37]\n  *&a:int=n$1 [line 37]\n " shape="box"]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_7" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_5" ;
	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_7" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_6" ;
"function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_8" [label="8:  Return Stmt \n   n$2=*&a:int [line 38]\n  *&return:int=(1 / (n$2 - 1)) [line 38]\n " shape="box"]
	

	 "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_8" -> "function_call_init_div0#_Z23function_call_init_div0v.c5b1156a9b411788293b1e06b27c17c3_2" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_1" [label="1: Start conditional_init_div0\nFormals: \nLocals:  a:int 0$?%__sil_tmpSIL_temp_conditional___n$1:int \n   DECLARE_LOCALS(&return,&a,&0$?%__sil_tmpSIL_temp_conditional___n$1); [line 42]\n " color=yellow style=filled]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_1" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_8" ;
	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_1" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_9" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_2" [label="2: Exit conditional_init_div0 \n  " color=yellow style=filled]
	

"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_3" [label="3: + \n  " ]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_3" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_4" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_4" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_2" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 43]\n  PRUNE((n$0 != 0), true); [line 43]\n " shape="invhouse"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_5" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_13" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 43]\n  PRUNE((n$0 == 0), false); [line 43]\n " shape="invhouse"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_6" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_3" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_7" [label="7: + \n  " ]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_7" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_12" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_8" [label="8: Prune (true branch) \n   PRUNE((1 != 0), true); [line 43]\n " shape="invhouse"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_8" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_10" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_9" [label="9: Prune (false branch) \n   PRUNE((1 == 0), false); [line 43]\n " shape="invhouse"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_9" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_11" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_10" [label="10:  ConditinalStmt Branch \n   *&0$?%__sil_tmpSIL_temp_conditional___n$1:int=1 [line 43]\n " shape="box"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_10" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_7" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_11" [label="11:  ConditinalStmt Branch \n   *&0$?%__sil_tmpSIL_temp_conditional___n$1:int=0 [line 43]\n " shape="box"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_11" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_7" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_12" [label="12:  DeclStmt \n   n$2=*&0$?%__sil_tmpSIL_temp_conditional___n$1:int [line 43]\n  *&a:int=n$2 [line 43]\n " shape="box"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_12" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_5" ;
	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_12" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_6" ;
"conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_13" [label="13:  Return Stmt \n   n$3=*&a:int [line 44]\n  *&return:int=(1 / (n$3 - 1)) [line 44]\n " shape="box"]
	

	 "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_13" -> "conditional_init_div0#_Z21conditional_init_div0v.4d4f59aba89a663ca2cf90cff28186cf_2" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_1" [label="1: Start reference_init_div0\nFormals: \nLocals:  a:int& r:int \n   DECLARE_LOCALS(&return,&a,&r); [line 48]\n " color=yellow style=filled]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_1" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_9" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_2" [label="2: Exit reference_init_div0 \n  " color=yellow style=filled]
	

"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_3" [label="3:  Return Stmt \n   n$0=*&r:int [line 53]\n  *&return:int=(1 / n$0) [line 53]\n " shape="box"]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_3" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_2" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_4" [label="4: + \n  " ]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_4" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_3" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_5" [label="5: Prune (true branch) \n   n$1=*&a:int& [line 50]\n  n$2=*n$1:int [line 50]\n  PRUNE((n$2 != 0), true); [line 50]\n " shape="invhouse"]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_5" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_8" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_6" [label="6: Prune (false branch) \n   n$1=*&a:int& [line 50]\n  n$2=*n$1:int [line 50]\n  PRUNE((n$2 == 0), false); [line 50]\n " shape="invhouse"]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_6" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_4" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_7" [label="7:  DeclStmt \n   *&a:int&=&r [line 50]\n " shape="box"]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_7" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_5" ;
	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_7" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_6" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_8" [label="8:  BinaryOperatorStmt: Assign \n   n$3=*&a:int& [line 51]\n  *n$3:int=0 [line 51]\n " shape="box"]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_8" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_4" ;
"reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_9" [label="9:  DeclStmt \n   *&r:int=1 [line 49]\n " shape="box"]
	

	 "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_9" -> "reference_init_div0#_Z19reference_init_div0v.420c69cf1326736562bfd6a403fcc71d_7" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_1" [label="1: Start simple_init_null_deref\nFormals: \nLocals:  p:int* \n   DECLARE_LOCALS(&return,&p); [line 56]\n " color=yellow style=filled]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_1" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_7" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_2" [label="2: Exit simple_init_null_deref \n  " color=yellow style=filled]
	

"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_3" [label="3: + \n  " ]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_3" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_4" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_4" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_2" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_5" [label="5: Prune (true branch) \n   n$0=*&p:int* [line 57]\n  PRUNE((n$0 != 0), true); [line 57]\n " shape="invhouse"]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_5" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_8" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_6" [label="6: Prune (false branch) \n   n$0=*&p:int* [line 57]\n  PRUNE((n$0 == 0), false); [line 57]\n " shape="invhouse"]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_6" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_9" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_7" [label="7:  DeclStmt \n   *&p:int*=null [line 57]\n " shape="box"]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_7" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_5" ;
	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_7" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_6" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_8" [label="8:  Return Stmt \n   *&return:int=1 [line 58]\n " shape="box"]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_8" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_2" ;
"simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_9" [label="9:  Return Stmt \n   n$1=*&p:int* [line 60]\n  n$2=*n$1:int [line 60]\n  *&return:int=n$2 [line 60]\n " shape="box"]
	

	 "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_9" -> "simple_init_null_deref#_Z22simple_init_null_derefv.51237ff521b47073ad7ab901ba61265c_2" ;
}
