METHOD_0 ( ) { long r = org . IDENT_0 . IDENT_1 . IDENT_2 . IDENT_3 . METHOD_1 ( 1 , 2 ) ; "<AssertPlaceHolder>" ; } METHOD_1 ( long , long ) { long result = a + b ; org . IDENT_0 . IDENT_1 . IDENT_2 . IDENT_3 . METHOD_2 ( ( ( ( a OP_0 b ) < 0 ) | ( ( a OP_0 result ) >= 0 ) ) ) ; return result ; }
org . junit . Assert . assertEquals ( 3 , r )