public static void main ( ) { java.lang.String VAR_1 = STRING_1 ; char [ ] str = VAR_1 . METHOD_1 ( ) ; char c = str [ INT_1 ] ; char a = VAR_1 . METHOD_2 ( 0 ) ; assert ( str . length ) == INT_2 ; assert a == CHAR_1 ; assert c == CHAR_2 ; }

public static void main ( int i ) { java.lang.String VAR_1 = STRING_1 ; char [ ] str = VAR_1 . METHOD_1 ( ) ; char c = str [ INT_1 ] ; char a = VAR_1 . METHOD_2 ( 0 ) ; assert ( str . length ) == INT_2 ; assert a == CHAR_1 ; assert c == CHAR_2 ; if ( i == 0 ) assert ( str . length ) != INT_2 ; if ( i == INT_1 ) assert a != CHAR_1 ; if ( i == INT_2 ) assert c != CHAR_2 ; }
