/* @generated */
digraph cfg {
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_1" [label="1: Start field_set_correctly\nFormals: \nLocals:  e:Employee \n  " color=yellow style=filled]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_1" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_4" ;
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_2" [label="2: Exit field_set_correctly \n  " color=yellow style=filled]
	

"field_set_correctly.b8d9a4294a85d24818c312a099420dce_3" [label="3:  Return Stmt \n   n$0=*&e.ssn:int [line 34, column 15]\n  *&return:int=(1 / (n$0 - 12)) [line 34, column 3]\n " shape="box"]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_3" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_2" ;
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_4" [label="4:  DeclStmt \n   *&e.ssn:int=12 [line 33, column 23]\n  *&e.salary:float=3000.5 [line 33, column 23]\n  *&e.doj.date:int=12 [line 33, column 37]\n  *&e.doj.month:int=12 [line 33, column 37]\n  *&e.doj.year:int=2010 [line 33, column 37]\n " shape="box"]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_4" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_3" ;
"foo.acbd18db4cc2f85cedef654fccc4a4d8_1" [label="1: Start foo\nFormals: \nLocals:  \n  " color=yellow style=filled]
	

	 "foo.acbd18db4cc2f85cedef654fccc4a4d8_1" -> "foo.acbd18db4cc2f85cedef654fccc4a4d8_3" ;
"foo.acbd18db4cc2f85cedef654fccc4a4d8_2" [label="2: Exit foo \n  " color=yellow style=filled]
	

"foo.acbd18db4cc2f85cedef654fccc4a4d8_3" [label="3:  Return Stmt \n   *&return:int=5 [line 13, column 13]\n " shape="box"]
	

	 "foo.acbd18db4cc2f85cedef654fccc4a4d8_3" -> "foo.acbd18db4cc2f85cedef654fccc4a4d8_2" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_1" [label="1: Start implicit_expr_set_correctly\nFormals: \nLocals:  imageDrawRect:rect \n  " color=yellow style=filled]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_1" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_4" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_2" [label="2: Exit implicit_expr_set_correctly \n  " color=yellow style=filled]
	

"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_3" [label="3:  Return Stmt \n   n$0=*&imageDrawRect.origin.x.a:int [line 57, column 14]\n  *&return:int=(1 / n$0) [line 57, column 3]\n " shape="box"]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_3" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_2" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_4" [label="4:  BinaryOperatorStmt: Assign \n   *&imageDrawRect.origin.x.a:int=0 [line 56, column 35]\n  *&imageDrawRect.origin.x.b:int=0 [line 56, column 35]\n  *&imageDrawRect.origin.y:int=0 [line 56, column 35]\n  *&imageDrawRect.z:int=0 [line 56, column 35]\n  *&imageDrawRect.size:int=5 [line 56, column 25]\n  n$1=*&imageDrawRect:rect [line 56, column 19]\n " shape="box"]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_4" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_3" ;
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals:  p:Point \n  " color=yellow style=filled]
	

	 "main.fad58de7366495db4650cfefac2fcd61_1" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n  " color=yellow style=filled]
	

"main.fad58de7366495db4650cfefac2fcd61_3" [label="3:  DeclStmt \n   *&p.x:int=1 [line 15, column 31]\n  n$0=_fun_foo() [line 15, column 35]\n  *&p.y:int=(n$0 + 3) [line 15, column 31]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_1" [label="1: Start point_coords_set_correctly\nFormals:  p:Point*\nLocals:  \n  " color=yellow style=filled]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_1" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_4" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_2" [label="2: Exit point_coords_set_correctly \n  " color=yellow style=filled]
	

"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_3" [label="3:  Return Stmt \n   n$0=*&p:Point* [line 19, column 15]\n  n$1=*n$0.x:int [line 19, column 15]\n  *&return:int=(1 / (n$1 - 4)) [line 19, column 3]\n " shape="box"]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_3" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_2" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_4" [label="4:  BinaryOperatorStmt: Assign \n   n$2=*&p:Point* [line 18, column 4]\n  *n$2.x:int=4 [line 18, column 15]\n  *n$2.y:int=5 [line 18, column 15]\n  n$3=*n$2:Point [line 18, column 8]\n " shape="box"]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_4" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_3" ;
}
