/* @generated */
digraph cfg {
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_1" [label="1: Start MyClass_aMethod\nFormals:  self:MyClass*\nLocals:  j:int i:int \n   DECLARE_LOCALS(&return,&j,&i); [line 18, column 1]\n " color=yellow style=filled]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_1" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_15" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_2" [label="2: Exit MyClass_aMethod \n  " color=yellow style=filled]
	

"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_3" [label="3: + \n  " ]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_3" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_4" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_4" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_2" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_5" [label="5:  BinaryOperatorStmt: EQ \n   n$0=*&j:int [line 25, column 7]\n " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_5" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_6" ;
	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_5" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_7" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_6" [label="6: Prune (true branch, if) \n   PRUNE((n$0 == 0), true); [line 25, column 7]\n " shape="invhouse"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_6" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_8" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_7" [label="7: Prune (false branch, if) \n   PRUNE(!(n$0 == 0), false); [line 25, column 7]\n " shape="invhouse"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_7" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_3" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_8" [label="8:  UnaryOperator \n   n$1=*&i:int [line 26, column 5]\n  *&i:int=(n$1 + 1) [line 26, column 5]\n " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_8" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_3" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_9" [label="9: + \n  " ]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_9" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_5" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_10" [label="10:  BinaryOperatorStmt: EQ \n   n$4=*&i:int [line 21, column 7]\n " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_10" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_11" ;
	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_10" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_12" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_11" [label="11: Prune (true branch, if) \n   PRUNE((n$4 == 0), true); [line 21, column 7]\n " shape="invhouse"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_11" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_13" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_12" [label="12: Prune (false branch, if) \n   PRUNE(!(n$4 == 0), false); [line 21, column 7]\n " shape="invhouse"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_12" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_9" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_13" [label="13:  Return Stmt \n  " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_13" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_2" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_14" [label="14:  DeclStmt \n   *&j:int=0 [line 20, column 3]\n " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_14" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_10" ;
"aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_15" [label="15:  DeclStmt \n   *&i:int=0 [line 19, column 3]\n " shape="box"]
	

	 "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_15" -> "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_14" ;
}
