private static long METHOD_1 ( long VAR_1 , long VAR_2 ) { if ( ( VAR_1 < 0 ) && ( VAR_2 >= ( ( VAR_3 ) + VAR_1 ) ) ) return VAR_3 ; long VAR_4 = VAR_2 - VAR_1 ; assert VAR_4 >= 0 ; return VAR_4 ; }

private static long METHOD_1 ( long VAR_1 , long VAR_2 ) { if ( ( VAR_1 < 0 ) && ( VAR_2 >= ( ( VAR_3 ) + VAR_1 ) ) ) return VAR_3 ; long VAR_4 = VAR_2 - VAR_1 ; return VAR_4 < 0 ? 0 : VAR_4 ; }
