METHOD_0 ( ) { req = new org . eclipse . IDENT_0 . IDENT_1 . core . analysis . IDENT_2 . METHOD_1 ( org . eclipse . IDENT_0 . IDENT_1 . core . tests . analysis . IDENT_2 . IDENT_3 . IDENT_4 , METHOD_2 ( java . util . Collections . emptyList ( ) ) ) ; "<AssertPlaceHolder>" ; } test ( org . eclipse . IDENT_0 . IDENT_1 . core . trace . IDENT_5 ) { java . util . Collection < org . eclipse . IDENT_0 . IDENT_1 . core . analysis . IDENT_2 . IDENT_6 > IDENT_7 = IDENT_8 ; if ( IDENT_7 . isEmpty ( ) ) { return true ; } long count = IDENT_7 . stream ( ) . filter ( ( r ) -> r . test ( trace ) ) . count ( ) ; switch ( METHOD_3 ( ) ) { case IDENT_9 : return ( count == ( IDENT_7 . size ( ) ) ) || ( count == 0 ) ; case IDENT_10 : return count > 0 ; case IDENT_11 : return count == ( IDENT_7 . size ( ) ) ; case IDENT_12 : return true ; default : throw new java . lang . IllegalStateException ( STRING_0 ) ; } }
org . junit . Assert . assertTrue ( req . test ( trace ) )