private void METHOD_1 ( ) { boolean VAR_1 = TYPE_1 . METHOD_2 ( ) ; TYPE_2 . METHOD_3 ( STRING_1 , ( STRING_2 + ( java.lang.String . METHOD_4 ( VAR_1 ) ) ) ) ; TYPE_3 VAR_2 = ( ( TYPE_3 ) ( METHOD_5 ( VAR_3 ) ) ) ; if ( VAR_1 ) { assert VAR_2 != null ; VAR_2 . METHOD_6 ( VAR_4 ) ; } else { assert VAR_2 != null ; VAR_2 . METHOD_6 ( VAR_5 ) ; } }

private void METHOD_1 ( ) { boolean VAR_1 = TYPE_1 . METHOD_2 ( ) ; TYPE_3 VAR_2 = ( ( TYPE_3 ) ( METHOD_5 ( VAR_3 ) ) ) ; if ( VAR_1 ) { assert VAR_2 != null ; VAR_2 . METHOD_6 ( VAR_4 ) ; } else { assert VAR_2 != null ; VAR_2 . METHOD_6 ( VAR_5 ) ; } }
