public static void main ( ) { java.lang.String VAR_1 = new java.lang.String ( STRING_1 ) ; int VAR_2 = VAR_1 . length ( ) ; assert VAR_2 == INT_1 ; } 

public static void main ( ) { java.lang.String VAR_1 = new java.lang.String ( STRING_1 ) ; int VAR_2 = VAR_1 . length ( ) ; assert VAR_2 == INT_1 ; assert VAR_2 != INT_1 ; } 
