METHOD_0 ( ) { "<AssertPlaceHolder>" ; } METHOD_1 ( long , long ) { if ( ( ( a == ( Long . MAX_VALUE ) ) && ( b == ( Long . MAX_VALUE ) ) ) || ( ( a == ( Long . IDENT_0 ) ) && ( b == ( Long . IDENT_0 ) ) ) ) { throw new java . lang . METHOD_2 ( STRING_0 ) ; } if ( ( a == ( Long . IDENT_0 ) ) || ( b == ( Long . MAX_VALUE ) ) ) { return Long . IDENT_0 ; } if ( ( a == ( Long . MAX_VALUE ) ) || ( b == ( Long . IDENT_0 ) ) ) { return Long . MAX_VALUE ; } long result = a - b ; if ( ( ( a OP_0 b ) >= 0 ) | ( ( a OP_0 result ) >= 0 ) ) { return result ; } return a < 0 ? Long . IDENT_0 : Long . MAX_VALUE ; }
org . junit . Assert . assertThat ( METHOD_1 ( ( ( ( - ( Long . MAX_VALUE ) ) / 2 ) - 100 ) , ( ( ( Long . MAX_VALUE ) / 2 ) + 100 ) ) , org . hamcrest . Matchers . is ( Long . IDENT_0 ) )