/* @generated */
digraph iCFG {
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_1" [label="1: Start conversion_operator::branch_div0\nFormals: \nLocals:  v:int x:conversion_operator::X \n   DECLARE_LOCALS(&return,&v,&x); [line 34]\n " color=yellow style=filled]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_1" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_10" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_2" [label="2: Exit conversion_operator::branch_div0 \n  " color=yellow style=filled]
	

"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_3" [label="3:  Return Stmt \n   _=*&x:conversion_operator::X [line 40]\n  n$1=_fun_conversion_operator::X_operator_int(&x:conversion_operator::X&) [line 40]\n  *&return:int=n$1 [line 40]\n " shape="box"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_3" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_2" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_4" [label="4: + \n  " ]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_4" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_3" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_5" [label="5:  Call _fun_conversion_operator::X_operator_bool \n   _=*&x:conversion_operator::X [line 36]\n  n$3=_fun_conversion_operator::X_operator_bool(&x:conversion_operator::X&) [line 36]\n " shape="box"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_5" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_6" ;
	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_5" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_7" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_6" [label="6: Prune (true branch) \n   PRUNE((n$3 != 0), true); [line 36]\n " shape="invhouse"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_6" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_9" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_7" [label="7: Prune (false branch) \n   PRUNE((n$3 == 0), false); [line 36]\n " shape="invhouse"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_7" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_4" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_8" [label="8:  Return Stmt \n   n$4=*&v:int [line 38]\n  *&return:int=(1 / n$4) [line 38]\n " shape="box"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_8" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_2" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_9" [label="9:  DeclStmt \n   _=*&x:conversion_operator::X [line 37]\n  n$6=_fun_conversion_operator::X_operator_int(&x:conversion_operator::X&) [line 37]\n  *&v:int=n$6 [line 37]\n " shape="box"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_9" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_8" ;
"branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_10" [label="10:  DeclStmt \n   _fun_conversion_operator::X_X(&x:conversion_operator::X*,0:int,1:_Bool) [line 35]\n " shape="box"]
	

	 "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_10" -> "branch_div0#conversion_operator#_ZN19conversion_operator11branch_div0Ev.7ac2fbad786f1d6a619b754c3edb7bda_5" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_1" [label="1: Start conversion_operator::y_branch_div0\nFormals: \nLocals:  0$?%__sil_tmp__temp_construct_n$0:conversion_operator::X 0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X 0$?%__sil_tmp__temp_construct_n$5:conversion_operator::X 0$?%__sil_tmpSIL_materialize_temp__n$6:conversion_operator::X v:int 0$?%__sil_tmp__temp_construct_n$11:conversion_operator::X 0$?%__sil_tmpSIL_materialize_temp__n$12:conversion_operator::X y:conversion_operator::Y \n   DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_construct_n$0,&0$?%__sil_tmpSIL_materialize_temp__n$1,&0$?%__sil_tmp__temp_construct_n$5,&0$?%__sil_tmpSIL_materialize_temp__n$6,&v,&0$?%__sil_tmp__temp_construct_n$11,&0$?%__sil_tmpSIL_materialize_temp__n$12,&y); [line 43]\n " color=yellow style=filled]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_1" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_12" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_2" [label="2: Exit conversion_operator::y_branch_div0 \n  " color=yellow style=filled]
	

"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_3" [label="3:  Return Stmt \n   _=*&y:conversion_operator::Y [line 51]\n  _fun_conversion_operator::Y_operator_X(&y:conversion_operator::Y&,&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X*) [line 51]\n  _fun_conversion_operator::X_X(&0$?%__sil_tmp__temp_construct_n$0:conversion_operator::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X&) [line 51]\n  n$4=_fun_conversion_operator::X_operator_int(&0$?%__sil_tmp__temp_construct_n$0:conversion_operator::X&) [line 51]\n  *&return:int=n$4 [line 51]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_3" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_2" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_4" [label="4: + \n  " ]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_4" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_3" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_5" [label="5:  Call _fun_conversion_operator::X_operator_bool \n   _=*&y:conversion_operator::Y [line 47]\n  _fun_conversion_operator::Y_operator_X(&y:conversion_operator::Y&,&0$?%__sil_tmpSIL_materialize_temp__n$6:conversion_operator::X*) [line 47]\n  _fun_conversion_operator::X_X(&0$?%__sil_tmp__temp_construct_n$5:conversion_operator::X*,&0$?%__sil_tmpSIL_materialize_temp__n$6:conversion_operator::X&) [line 47]\n  n$9=_fun_conversion_operator::X_operator_bool(&0$?%__sil_tmp__temp_construct_n$5:conversion_operator::X&) [line 47]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_5" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_6" ;
	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_5" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_7" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_6" [label="6: Prune (true branch) \n   PRUNE((n$9 != 0), true); [line 47]\n " shape="invhouse"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_6" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_9" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_7" [label="7: Prune (false branch) \n   PRUNE((n$9 == 0), false); [line 47]\n " shape="invhouse"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_7" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_4" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_8" [label="8:  Return Stmt \n   n$10=*&v:int [line 49]\n  *&return:int=(1 / n$10) [line 49]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_8" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_2" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_9" [label="9:  DeclStmt \n   _=*&y:conversion_operator::Y [line 48]\n  _fun_conversion_operator::Y_operator_X(&y:conversion_operator::Y&,&0$?%__sil_tmpSIL_materialize_temp__n$12:conversion_operator::X*) [line 48]\n  _fun_conversion_operator::X_X(&0$?%__sil_tmp__temp_construct_n$11:conversion_operator::X*,&0$?%__sil_tmpSIL_materialize_temp__n$12:conversion_operator::X&) [line 48]\n  n$15=_fun_conversion_operator::X_operator_int(&0$?%__sil_tmp__temp_construct_n$11:conversion_operator::X&) [line 48]\n  *&v:int=n$15 [line 48]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_9" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_8" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_10" [label="10:  BinaryOperatorStmt: Assign \n   *&y.b:int=1 [line 46]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_10" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_5" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_11" [label="11:  BinaryOperatorStmt: Assign \n   *&y.f:int=0 [line 45]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_11" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_10" ;
"y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_12" [label="12:  DeclStmt \n   _fun_conversion_operator::Y_Y(&y:conversion_operator::Y*) [line 44]\n " shape="box"]
	

	 "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_12" -> "y_branch_div0#conversion_operator#_ZN19conversion_operator13y_branch_div0Ev.55b1d7191b07a83040d3d6f4f6c86612_11" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_1" [label="1: Start conversion_operator::branch_no_div\nFormals: \nLocals:  v:int x:conversion_operator::X \n   DECLARE_LOCALS(&return,&v,&x); [line 54]\n " color=yellow style=filled]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_1" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_10" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_2" [label="2: Exit conversion_operator::branch_no_div \n  " color=yellow style=filled]
	

"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_3" [label="3:  Return Stmt \n   _=*&x:conversion_operator::X [line 60]\n  n$1=_fun_conversion_operator::X_operator_int(&x:conversion_operator::X&) [line 60]\n  *&return:int=n$1 [line 60]\n " shape="box"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_3" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_2" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_4" [label="4: + \n  " ]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_4" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_3" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_5" [label="5:  Call _fun_conversion_operator::X_operator_bool \n   _=*&x:conversion_operator::X [line 56]\n  n$3=_fun_conversion_operator::X_operator_bool(&x:conversion_operator::X&) [line 56]\n " shape="box"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_5" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_6" ;
	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_5" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_7" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_6" [label="6: Prune (true branch) \n   PRUNE((n$3 != 0), true); [line 56]\n " shape="invhouse"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_6" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_9" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_7" [label="7: Prune (false branch) \n   PRUNE((n$3 == 0), false); [line 56]\n " shape="invhouse"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_7" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_4" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_8" [label="8:  Return Stmt \n   n$4=*&v:int [line 58]\n  *&return:int=(1 / n$4) [line 58]\n " shape="box"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_8" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_2" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_9" [label="9:  DeclStmt \n   _=*&x:conversion_operator::X [line 57]\n  n$6=_fun_conversion_operator::X_operator_int(&x:conversion_operator::X&) [line 57]\n  *&v:int=n$6 [line 57]\n " shape="box"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_9" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_8" ;
"branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_10" [label="10:  DeclStmt \n   _fun_conversion_operator::X_X(&x:conversion_operator::X*,0:int,0:_Bool) [line 55]\n " shape="box"]
	

	 "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_10" -> "branch_no_div#conversion_operator#_ZN19conversion_operator13branch_no_divEv.a0238eac9b6689e30d59d287a7b20301_5" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_1" [label="1: Start conversion_operator::branch_div1\nFormals: \nLocals:  v:int x:conversion_operator::X \n   DECLARE_LOCALS(&return,&v,&x); [line 63]\n " color=yellow style=filled]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_1" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_10" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_2" [label="2: Exit conversion_operator::branch_div1 \n  " color=yellow style=filled]
	

"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_3" [label="3:  Return Stmt \n   _=*&x:conversion_operator::X [line 69]\n  n$1=_fun_conversion_operator::X_operator_int(&x:conversion_operator::X&) [line 69]\n  *&return:int=n$1 [line 69]\n " shape="box"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_3" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_2" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_4" [label="4: + \n  " ]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_4" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_3" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_5" [label="5:  Call _fun_conversion_operator::X_operator_bool \n   _=*&x:conversion_operator::X [line 65]\n  n$3=_fun_conversion_operator::X_operator_bool(&x:conversion_operator::X&) [line 65]\n " shape="box"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_5" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_6" ;
	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_5" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_7" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_6" [label="6: Prune (true branch) \n   PRUNE((n$3 != 0), true); [line 65]\n " shape="invhouse"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_6" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_9" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_7" [label="7: Prune (false branch) \n   PRUNE((n$3 == 0), false); [line 65]\n " shape="invhouse"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_7" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_4" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_8" [label="8:  Return Stmt \n   n$4=*&v:int [line 67]\n  *&return:int=(1 / n$4) [line 67]\n " shape="box"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_8" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_2" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_9" [label="9:  DeclStmt \n   _=*&x:conversion_operator::X [line 66]\n  n$6=_fun_conversion_operator::X_operator_int(&x:conversion_operator::X&) [line 66]\n  *&v:int=n$6 [line 66]\n " shape="box"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_9" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_8" ;
"branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_10" [label="10:  DeclStmt \n   _fun_conversion_operator::X_X(&x:conversion_operator::X*,1:int,1:_Bool) [line 64]\n " shape="box"]
	

	 "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_10" -> "branch_div1#conversion_operator#_ZN19conversion_operator11branch_div1Ev.c9238a51dfce95d160a10844a88372f4_5" ;
"operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_1" [label="1: Start conversion_operator::X_operator_int\nFormals:  this:conversion_operator::X*\nLocals:  \n   DECLARE_LOCALS(&return); [line 13]\n " color=yellow style=filled]
	

	 "operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_1" -> "operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_3" ;
"operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_2" [label="2: Exit conversion_operator::X_operator_int \n  " color=yellow style=filled]
	

"operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_3" [label="3:  Return Stmt \n   n$0=*&this:conversion_operator::X* [line 13]\n  n$1=*n$0.f_:int [line 13]\n  *&return:int=n$1 [line 13]\n " shape="box"]
	

	 "operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_3" -> "operator_int#X#conversion_operator#(_ZN19conversion_operator1XcviEv).3e75fc2665d0e28d0c702d881d63ff81_2" ;
"operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_1" [label="1: Start conversion_operator::X_operator_bool\nFormals:  this:conversion_operator::X*\nLocals:  \n   DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
	

	 "operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_1" -> "operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_3" ;
"operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_2" [label="2: Exit conversion_operator::X_operator_bool \n  " color=yellow style=filled]
	

"operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_3" [label="3:  Return Stmt \n   n$0=*&this:conversion_operator::X* [line 14]\n  n$1=*n$0.b_:_Bool [line 14]\n  *&return:_Bool=n$1 [line 14]\n " shape="box"]
	

	 "operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_3" -> "operator_bool#X#conversion_operator#(_ZN19conversion_operator1XcvbEv).3c02d9f0f271b2fff212828a5d610b1f_2" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_1" [label="1: Start conversion_operator::X_X\nFormals:  this:conversion_operator::X* f:int b:_Bool\nLocals:  \n   DECLARE_LOCALS(&return); [line 17]\n " color=yellow style=filled]
	

	 "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_1" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_4" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_2" [label="2: Exit conversion_operator::X_X \n  " color=yellow style=filled]
	

"X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_3" [label="3:  BinaryOperatorStmt: Assign \n   n$0=*&this:conversion_operator::X* [line 19]\n  n$1=*&b:_Bool [line 19]\n  *n$0.b_:_Bool=n$1 [line 19]\n " shape="box"]
	

	 "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_3" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_2" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_4" [label="4:  BinaryOperatorStmt: Assign \n   n$2=*&this:conversion_operator::X* [line 18]\n  n$3=*&f:int [line 18]\n  *n$2.f_:int=n$3 [line 18]\n " shape="box"]
	

	 "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_4" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_3" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_1" [label="1: Start conversion_operator::X_X\nFormals:  this:conversion_operator::X* x:conversion_operator::X const &\nLocals:  \n   DECLARE_LOCALS(&return); [line 21]\n " color=yellow style=filled]
	

	 "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_1" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_2" [label="2: Exit conversion_operator::X_X \n  " color=yellow style=filled]
	

"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" [label="3:  BinaryOperatorStmt: Assign \n   n$0=*&this:conversion_operator::X* [line 23]\n  n$1=*&x:conversion_operator::X const & [line 23]\n  n$2=*n$1.b_:_Bool [line 23]\n  *n$0.b_:_Bool=n$2 [line 23]\n " shape="box"]
	

	 "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_2" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" [label="4:  BinaryOperatorStmt: Assign \n   n$3=*&this:conversion_operator::X* [line 22]\n  n$4=*&x:conversion_operator::X const & [line 22]\n  n$5=*n$4.f_:int [line 22]\n  *n$3.f_:int=n$5 [line 22]\n " shape="box"]
	

	 "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" ;
"Y#Y#conversion_operator#{_ZN19conversion_operator1YC1Ev}.d1c722ee040160f0342627c3d0b1796f_1" [label="1: Start conversion_operator::Y_Y\nFormals:  this:conversion_operator::Y*\nLocals:  \n   DECLARE_LOCALS(&return); [line 27]\n " color=yellow style=filled]
	

	 "Y#Y#conversion_operator#{_ZN19conversion_operator1YC1Ev}.d1c722ee040160f0342627c3d0b1796f_1" -> "Y#Y#conversion_operator#{_ZN19conversion_operator1YC1Ev}.d1c722ee040160f0342627c3d0b1796f_2" ;
"Y#Y#conversion_operator#{_ZN19conversion_operator1YC1Ev}.d1c722ee040160f0342627c3d0b1796f_2" [label="2: Exit conversion_operator::Y_Y \n  " color=yellow style=filled]
	

"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_1" [label="1: Start conversion_operator::Y_operator_X\nFormals:  this:conversion_operator::Y* __return_param:conversion_operator::X*\nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X const  \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 29]\n " color=yellow style=filled]
	

	 "operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_1" -> "operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" ;
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_2" [label="2: Exit conversion_operator::Y_operator_X \n  " color=yellow style=filled]
	

"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" [label="3:  Return Stmt \n   n$0=*&__return_param:conversion_operator::X* [line 29]\n  n$2=*&this:conversion_operator::Y* [line 29]\n  n$3=*n$2.f:int [line 29]\n  n$4=*&this:conversion_operator::Y* [line 29]\n  n$5=*n$4.b:int [line 29]\n  _fun_conversion_operator::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X const *,n$3:int,n$5:_Bool) [line 29]\n  _fun_conversion_operator::X_X(n$0:conversion_operator::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X const &) [line 29]\n " shape="box"]
	

	 "operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" -> "operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_2" ;
}
