TYPE_1 METHOD_1 ( ) { TYPE_1 VAR_1 = VAR_2 ; if ( ( VAR_2 ) == null ) { VAR_2 = METHOD_2 ( ) ; VAR_1 = VAR_2 ; } if ( ( VAR_2 ) == ( VAR_3 ) ) { VAR_1 = METHOD_3 ( ) . METHOD_1 ( ) ; } return VAR_1 ; }

TYPE_1 METHOD_1 ( ) { TYPE_1 VAR_1 = VAR_2 ; if ( ( VAR_2 ) == null ) { VAR_2 = METHOD_2 ( ) ; VAR_1 = VAR_2 ; } if ( ( VAR_2 ) == ( VAR_3 ) ) { VAR_1 = METHOD_3 ( ) . METHOD_1 ( ) ; } assert VAR_1 != ( VAR_3 ) ; return VAR_1 ; }
