/* @generated */
digraph iCFG {
"div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_1" [label="1: Start div0_cast\nFormals:  s:Sub*\nLocals:  b:Base1* \n   DECLARE_LOCALS(&return,&b); [line 37]\n " color=yellow style=filled]
	

	 "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_1" -> "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_5" ;
"div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_2" [label="2: Exit div0_cast \n  " color=yellow style=filled]
	

"div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_3" [label="3:  Return Stmt \n   n$0=*&b:Base1* [line 40]\n  n$1=*n$0.b1:int [line 40]\n  *&return:int=(1 / n$1) [line 40]\n " shape="box"]
	

	 "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_3" -> "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_2" ;
"div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_4" [label="4:  DeclStmt \n   n$2=*&s:Sub* [line 39]\n  *&b:Sub*=n$2 [line 39]\n " shape="box"]
	

	 "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_4" -> "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_3" ;
"div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_5" [label="5:  BinaryOperatorStmt: Assign \n   n$3=*&s:Sub* [line 38]\n  *n$3.b1:int=0 [line 38]\n " shape="box"]
	

	 "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_5" -> "div0_cast#_Z9div0_castP3Sub.0b9d906d351711457b6665471f8bfd4a_4" ;
"div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_1" [label="1: Start div0_b1_s\nFormals:  s:Sub*\nLocals:  \n   DECLARE_LOCALS(&return); [line 49]\n " color=yellow style=filled]
	

	 "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_1" -> "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_5" ;
"div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_2" [label="2: Exit div0_b1_s \n  " color=yellow style=filled]
	

"div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_3" [label="3:  Return Stmt \n   n$0=*&s:Sub* [line 52]\n  n$1=*n$0.b1:int [line 52]\n  n$2=*&s:Sub* [line 52]\n  n$3=*n$2.s:int [line 52]\n  *&return:int=(1 / (n$1 - n$3)) [line 52]\n " shape="box"]
	

	 "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_3" -> "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_2" ;
"div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_4" [label="4:  BinaryOperatorStmt: Assign \n   n$4=*&s:Sub* [line 51]\n  *n$4.s:int=1 [line 51]\n " shape="box"]
	

	 "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_4" -> "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_3" ;
"div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_5" [label="5:  BinaryOperatorStmt: Assign \n   n$5=*&s:Sub* [line 50]\n  *n$5.b1:int=1 [line 50]\n " shape="box"]
	

	 "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_5" -> "div0_b1_s#_Z9div0_b1_sP3Sub.12f374c0520abca673a25f36ae7c5d34_4" ;
"div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_1" [label="1: Start div0_s_b1\nFormals:  s:Sub*\nLocals:  \n   DECLARE_LOCALS(&return); [line 55]\n " color=yellow style=filled]
	

	 "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_1" -> "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_5" ;
"div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_2" [label="2: Exit div0_s_b1 \n  " color=yellow style=filled]
	

"div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_3" [label="3:  Return Stmt \n   n$0=*&s:Sub* [line 58]\n  n$1=*n$0.b1:int [line 58]\n  n$2=*&s:Sub* [line 58]\n  n$3=*n$2.s:int [line 58]\n  *&return:int=(1 / (n$1 - n$3)) [line 58]\n " shape="box"]
	

	 "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_3" -> "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_2" ;
"div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_4" [label="4:  BinaryOperatorStmt: Assign \n   n$4=*&s:Sub* [line 57]\n  *n$4.s:int=1 [line 57]\n " shape="box"]
	

	 "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_4" -> "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_3" ;
"div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_5" [label="5:  BinaryOperatorStmt: Assign \n   n$5=*&s:Sub* [line 56]\n  *n$5.b1:int=1 [line 56]\n " shape="box"]
	

	 "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_5" -> "div0_s_b1#_Z9div0_s_b1P3Sub.1bca80739f5122a900f1b1344ae93569_4" ;
"div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_1" [label="1: Start div1_cast\nFormals:  s:Sub*\nLocals:  b:Base1* \n   DECLARE_LOCALS(&return,&b); [line 66]\n " color=yellow style=filled]
	

	 "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_1" -> "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_5" ;
"div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_2" [label="2: Exit div1_cast \n  " color=yellow style=filled]
	

"div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_3" [label="3:  Return Stmt \n   n$0=*&b:Base1* [line 69]\n  n$1=*n$0.b1:int [line 69]\n  *&return:int=(1 / n$1) [line 69]\n " shape="box"]
	

	 "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_3" -> "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_2" ;
"div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_4" [label="4:  DeclStmt \n   n$2=*&s:Sub* [line 68]\n  *&b:Sub*=n$2 [line 68]\n " shape="box"]
	

	 "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_4" -> "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_3" ;
"div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_5" [label="5:  BinaryOperatorStmt: Assign \n   n$3=*&s:Sub* [line 67]\n  *n$3.b1:int=1 [line 67]\n " shape="box"]
	

	 "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_5" -> "div1_cast#_Z9div1_castP3Sub.0cd9f1a48e13cc3e6ee3f1ecccc2961f_4" ;
"div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_1" [label="1: Start div0_b1\nFormals:  s:Sub&\nLocals:  \n   DECLARE_LOCALS(&return); [line 22]\n " color=yellow style=filled]
	

	 "div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_1" -> "div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_4" ;
"div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_2" [label="2: Exit div0_b1 \n  " color=yellow style=filled]
	

"div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_3" [label="3:  Return Stmt \n   n$0=*&s:Sub& [line 24]\n  n$1=*n$0.b1:int [line 24]\n  *&return:int=(1 / n$1) [line 24]\n " shape="box"]
	

	 "div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_3" -> "div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_2" ;
"div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_4" [label="4:  BinaryOperatorStmt: Assign \n   n$2=*&s:Sub& [line 23]\n  *n$2.b1:int=0 [line 23]\n " shape="box"]
	

	 "div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_4" -> "div0_b1#_Z7div0_b13Sub.39e7e6de430d709fac091e1df74bcdda_3" ;
"div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_1" [label="1: Start div0_b2\nFormals:  s:Sub&\nLocals:  \n   DECLARE_LOCALS(&return); [line 27]\n " color=yellow style=filled]
	

	 "div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_1" -> "div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_4" ;
"div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_2" [label="2: Exit div0_b2 \n  " color=yellow style=filled]
	

"div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_3" [label="3:  Return Stmt \n   n$0=*&s:Sub& [line 29]\n  n$1=*n$0.b2:int [line 29]\n  *&return:int=(1 / n$1) [line 29]\n " shape="box"]
	

	 "div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_3" -> "div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_2" ;
"div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_4" [label="4:  BinaryOperatorStmt: Assign \n   n$2=*&s:Sub& [line 28]\n  *n$2.b2:int=0 [line 28]\n " shape="box"]
	

	 "div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_4" -> "div0_b2#_Z7div0_b23Sub.d6a3aa8274984828e9b2d9289332abb9_3" ;
"div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_1" [label="1: Start div0_s\nFormals:  s:Sub&\nLocals:  \n   DECLARE_LOCALS(&return); [line 32]\n " color=yellow style=filled]
	

	 "div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_1" -> "div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_4" ;
"div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_2" [label="2: Exit div0_s \n  " color=yellow style=filled]
	

"div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_3" [label="3:  Return Stmt \n   n$0=*&s:Sub& [line 34]\n  n$1=*n$0.s:int [line 34]\n  *&return:int=(1 / n$1) [line 34]\n " shape="box"]
	

	 "div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_3" -> "div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_2" ;
"div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_4" [label="4:  BinaryOperatorStmt: Assign \n   n$2=*&s:Sub& [line 33]\n  *n$2.s:int=0 [line 33]\n " shape="box"]
	

	 "div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_4" -> "div0_s#_Z6div0_s3Sub.b14457f181d480a15f2c26328da9698f_3" ;
"div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_1" [label="1: Start div0_cast_ref\nFormals:  s:Sub&\nLocals:  b:Base1& \n   DECLARE_LOCALS(&return,&b); [line 43]\n " color=yellow style=filled]
	

	 "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_1" -> "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_5" ;
"div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_2" [label="2: Exit div0_cast_ref \n  " color=yellow style=filled]
	

"div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_3" [label="3:  Return Stmt \n   n$0=*&b:Base1& [line 46]\n  n$1=*n$0.b1:int [line 46]\n  *&return:int=(1 / n$1) [line 46]\n " shape="box"]
	

	 "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_3" -> "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_2" ;
"div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_4" [label="4:  DeclStmt \n   n$2=*&s:Sub& [line 45]\n  *&b:Sub&=n$2 [line 45]\n " shape="box"]
	

	 "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_4" -> "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_3" ;
"div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_5" [label="5:  BinaryOperatorStmt: Assign \n   n$3=*&s:Sub& [line 44]\n  *n$3.b1:int=0 [line 44]\n " shape="box"]
	

	 "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_5" -> "div0_cast_ref#_Z13div0_cast_ref3Sub.3d8514c92dad1c7d8b1e884c1c43032a_4" ;
"div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_1" [label="1: Start div1_b1\nFormals:  s:Sub&\nLocals:  \n   DECLARE_LOCALS(&return); [line 61]\n " color=yellow style=filled]
	

	 "div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_1" -> "div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_4" ;
"div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_2" [label="2: Exit div1_b1 \n  " color=yellow style=filled]
	

"div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_3" [label="3:  Return Stmt \n   n$0=*&s:Sub& [line 63]\n  n$1=*n$0.b1:int [line 63]\n  *&return:int=(1 / n$1) [line 63]\n " shape="box"]
	

	 "div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_3" -> "div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_2" ;
"div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_4" [label="4:  BinaryOperatorStmt: Assign \n   n$2=*&s:Sub& [line 62]\n  *n$2.b1:int=1 [line 62]\n " shape="box"]
	

	 "div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_4" -> "div1_b1#_Z7div1_b13Sub.00e797f8003158c8bcde96739c2853c8_3" ;
}
