public static TYPE_1 METHOD_1 ( int VAR_1 ) { if ( VAR_1 == INT_1 ) { TYPE_2 . error ( ( STRING_1 + STRING_2 ) ) ; return new TYPE_3 ( ) ; } if ( VAR_1 == INT_2 ) return new TYPE_4 ( ) ; assert ! ( TYPE_5 . METHOD_2 ( VAR_1 ) ) : STRING_3 + VAR_1 ; TYPE_2 . error ( ( STRING_4 + VAR_1 ) , new java.lang.Throwable ( ) ) ; return null ; }

public static TYPE_1 METHOD_1 ( int VAR_1 ) { if ( VAR_1 == INT_1 ) { return new TYPE_3 ( ) ; } if ( VAR_1 == INT_2 ) { return new TYPE_4 ( ) ; } assert ! ( TYPE_5 . METHOD_2 ( VAR_1 ) ) : STRING_3 + VAR_1 ; TYPE_2 . error ( ( STRING_4 + VAR_1 ) , new java.lang.Throwable ( ) ) ; return null ; }
