public void METHOD_1 ( TYPE_1 VAR_1 ) throws TYPE_2 { assert ( VAR_1 . METHOD_2 ( ) ) == ( VAR_2 ) : STRING_1 ; java.lang.String VAR_3 = METHOD_3 ( STRING_2 , STRING_3 ) ; METHOD_4 ( VAR_1 , VAR_3 , STRING_4 , METHOD_5 ( VAR_1 ) , VAR_1 . METHOD_6 ( ) ) ; }

public void METHOD_1 ( TYPE_1 VAR_1 ) throws TYPE_2 { assert ( VAR_1 . METHOD_2 ( ) ) == ( VAR_2 ) : STRING_1 ; java.lang.String VAR_3 = METHOD_3 ( STRING_2 , STRING_3 , VAR_1 . METHOD_6 ( ) ) ; METHOD_4 ( VAR_1 , VAR_3 , STRING_4 , METHOD_5 ( VAR_1 ) , VAR_1 . METHOD_6 ( ) ) ; }
