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

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_1" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_11" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_2" [label="2: Exit simple_assignment \n  " color=yellow style=filled]
	

"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_3" [label="3:  Return Stmt \n   *&return:int=0 [line 17]\n " shape="box"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_3" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_2" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_4" [label="4: + \n  " ]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_4" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_7" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 13]\n  PRUNE((n$0 != 0), true); [line 13]\n " shape="invhouse"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_5" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_9" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 13]\n  PRUNE((n$0 == 0), false); [line 13]\n " shape="invhouse"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_6" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_3" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_7" [label="7:  DeclStmt \n   n$1=*&x:int [line 13]\n  *&a:int=n$1 [line 13]\n " shape="box"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_7" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_5" ;
	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_7" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_6" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_8" [label="8:  BinaryOperatorStmt: SubAssign \n   n$2=*&x:int [line 15]\n  *&x:int=(n$2 - 1) [line 15]\n " shape="box"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_8" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_4" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_9" [label="9:  BinaryOperatorStmt: AddAssign \n   n$3=*&a:int [line 14]\n  n$4=*&result:int [line 14]\n  *&result:int=(n$4 + n$3) [line 14]\n " shape="box"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_9" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_8" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_10" [label="10:  DeclStmt \n   *&result:int=0 [line 12]\n " shape="box"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_10" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_4" ;
"simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_11" [label="11:  DeclStmt \n   *&x:int=10 [line 11]\n " shape="box"]
	

	 "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_11" -> "simple_assignment#_Z17simple_assignmentv.b5d2147289c7db2be3b27c47edd33d63_10" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_1" [label="1: Start conditional_assignment\nFormals: \nLocals:  a:int 0$?%__sil_tmpSIL_temp_conditional___n$1:int result:int x:int \n   DECLARE_LOCALS(&return,&a,&0$?%__sil_tmpSIL_temp_conditional___n$1,&result,&x); [line 20]\n " color=yellow style=filled]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_1" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_17" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_2" [label="2: Exit conditional_assignment \n  " color=yellow style=filled]
	

"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_3" [label="3:  Return Stmt \n   *&return:int=0 [line 27]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_3" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_2" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_4" [label="4: + \n  " ]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_4" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_8" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_5" [label="5: Prune (true branch) \n   n$0=*&a:int [line 23]\n  PRUNE((n$0 != 0), true); [line 23]\n " shape="invhouse"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_5" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_15" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_6" [label="6: Prune (false branch) \n   n$0=*&a:int [line 23]\n  PRUNE((n$0 == 0), false); [line 23]\n " shape="invhouse"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_6" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_3" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_7" [label="7: + \n  " ]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_7" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_13" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_8" [label="8:  BinaryOperatorStmt: GT \n   n$2=*&x:int [line 23]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_8" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_9" ;
	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_8" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_10" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_9" [label="9: Prune (true branch) \n   PRUNE(((n$2 > 0) != 0), true); [line 23]\n " shape="invhouse"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_9" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_11" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_10" [label="10: Prune (false branch) \n   PRUNE(((n$2 > 0) == 0), false); [line 23]\n " shape="invhouse"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_10" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_12" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_11" [label="11:  ConditinalStmt Branch \n   n$3=*&x:int [line 23]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$1:int=n$3 [line 23]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_11" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_7" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_12" [label="12:  ConditinalStmt Branch \n   *&0$?%__sil_tmpSIL_temp_conditional___n$1:int=0 [line 23]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_12" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_7" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_13" [label="13:  DeclStmt \n   n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$1:int [line 23]\n  *&a:int=n$4 [line 23]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_13" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_5" ;
	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_13" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_6" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_14" [label="14:  BinaryOperatorStmt: SubAssign \n   n$5=*&x:int [line 25]\n  *&x:int=(n$5 - 1) [line 25]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_14" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_4" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_15" [label="15:  BinaryOperatorStmt: AddAssign \n   n$6=*&a:int [line 24]\n  n$7=*&result:int [line 24]\n  *&result:int=(n$7 + n$6) [line 24]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_15" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_14" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_16" [label="16:  DeclStmt \n   *&result:int=0 [line 22]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_16" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_4" ;
"conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_17" [label="17:  DeclStmt \n   *&x:int=10 [line 21]\n " shape="box"]
	

	 "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_17" -> "conditional_assignment#_Z22conditional_assignmentv.1d3113923ffcc39af82bb9111373c02f_16" ;
}
