/* @generated */
digraph iCFG {
"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_1" [label="1: Start __infer_globals_initializer_lastName\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
	

	 "__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_1" -> "__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_3" ;
"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_2" [label="2: Exit __infer_globals_initializer_lastName \n  " color=yellow style=filled]
	

"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_3" [label="3:  DeclStmt \n   n$0=_fun_NSString_stringWithUTF8String:(\"Rodriguez\":char* const ) [line 12]\n  *&#GB<codetoanalyze/objc/frontend/strings/global_string_literal.m>$lastName:NSString*=n$0 [line 12]\n " shape="box"]
	

	 "__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_3" -> "__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_2" ;
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 14]\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:  Return Stmt \n   *&return:int=0 [line 14]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
}
