/* @generated */
digraph cfg {
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals:  y:Y \n  " color=yellow style=filled]
	

	 "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" -> "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_3" ;
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_2" [label="2: Exit test \n  " color=yellow style=filled]
	

"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_3" [label="3:  DeclStmt \n   VARIABLE_DECLARED(y:Y); [line 23, column 15]\n  n$0=_fun_Y::Y(&y:Y*) [line 23, column 17]\n " shape="box"]
	

	 "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_3" -> "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_2" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_1" [label="1: Start X::X\nFormals:  this:X* a:int b:int\nLocals:  \n  " color=yellow style=filled]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_1" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_7" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_2" [label="2: Exit X::X \n  " color=yellow style=filled]
	

"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_3" [label="3:  Constructor Init \n   n$1=*&this:X* [line 11, column 8]\n " shape="box"]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_3" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_4" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_4" [label="4:  Constructor Init \n   *n$1.c:int=0 [line 11, column 8]\n " shape="box"]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_4" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_2" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_5" [label="5:  Constructor Init \n   n$2=*&this:X* [line 10, column 8]\n " shape="box"]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_5" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_6" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_6" [label="6:  Constructor Init \n   *n$2.b:int=-2 [line 10, column 8]\n " shape="box"]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_6" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_3" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_7" [label="7:  Constructor Init \n   n$3=*&this:X* [line 14, column 21]\n " shape="box"]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_7" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_8" ;
"X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_8" [label="8:  Constructor Init \n   n$4=*&a:int [line 14, column 23]\n  n$5=*&b:int [line 14, column 27]\n  *n$3.a:int=(n$4 + n$5) [line 14, column 21]\n " shape="box"]
	

	 "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_8" -> "X#X#{14428669737419226111}.bcdced57ebd07811007dd9555b8e9fc0_5" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_1" [label="1: Start X::X\nFormals:  this:X*\nLocals:  \n  " color=yellow style=filled]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_1" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_7" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_2" [label="2: Exit X::X \n  " color=yellow style=filled]
	

"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_3" [label="3:  Constructor Init \n   n$1=*&this:X* [line 11, column 8]\n " shape="box"]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_3" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_4" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_4" [label="4:  Constructor Init \n   *n$1.c:int=0 [line 11, column 8]\n " shape="box"]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_4" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_2" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_5" [label="5:  Constructor Init \n   n$2=*&this:X* [line 10, column 8]\n " shape="box"]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_5" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_6" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_6" [label="6:  Constructor Init \n   *n$2.b:int=-2 [line 10, column 8]\n " shape="box"]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_6" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_3" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_7" [label="7:  Constructor Init \n   n$3=*&this:X* [line 9, column 11]\n " shape="box"]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_7" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_8" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_8" [label="8:  Constructor Init \n   *n$3.a:int=-1 [line 9, column 11]\n " shape="box"]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_8" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_5" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_1" [label="1: Start Y::Y\nFormals:  this:Y*\nLocals:  \n  " color=yellow style=filled]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_1" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_7" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_2" [label="2: Exit Y::Y \n  " color=yellow style=filled]
	

"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_3" [label="3:  Constructor Init \n   n$1=*&this:Y* [line 17, column 8]\n " shape="box"]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_3" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_4" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_4" [label="4:  Constructor Init \n   n$2=_fun_X::X(n$1.x3:X*) [line 17, column 8]\n " shape="box"]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_4" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_2" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_5" [label="5:  Constructor Init \n   n$3=*&this:Y* [line 19, column 7]\n " shape="box"]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_5" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_6" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_6" [label="6:  Constructor Init \n   n$4=_fun_X::X(n$3.x2:X*) [line 19, column 7]\n " shape="box"]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_6" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_3" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_7" [label="7:  Constructor Init \n   n$5=*&this:Y* [line 18, column 7]\n " shape="box"]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_7" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_8" ;
"Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_8" [label="8:  Constructor Init \n   n$6=_fun_X::X(n$5.x1:X*,1:int,2:int) [line 18, column 7]\n " shape="box"]
	

	 "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_8" -> "Y#Y#{16769433076588921314}.5334d541bfbc1a715ad9b77390d973d9_5" ;
}
