METHOD_0 ( ) { ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_3 . classes . IDENT_4 IDENT_5 = this . IDENT_6 ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_7 . classes . IDENT_8 IDENT_9 = IDENT_5 . METHOD_1 ( ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_10 . IDENT_11 . classes . IDENT_12 IDENT_13 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_10 . IDENT_11 . classes . IDENT_12 . getInstance ( IDENT_5 . METHOD_2 ( 4 ) , IDENT_5 . METHOD_2 ( 2 ) ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . classes . IDENT_15 messages = ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . classes . IDENT_15 . getInstance ( IDENT_9 , new ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . interfaces . Element [ ] { IDENT_9 . METHOD_2 ( 2 ) , IDENT_9 . METHOD_2 ( 3 ) , IDENT_9 . METHOD_2 ( 4 ) , IDENT_9 . METHOD_2 ( 5 ) } ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_16 . IDENT_17 . interfaces . IDENT_18 IDENT_19 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_16 . classes . IDENT_20 . METHOD_3 ( IDENT_13 , IDENT_21 ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_16 . classes . IDENT_20 IDENT_22 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_16 . classes . IDENT_20 . getInstance ( IDENT_19 , IDENT_13 , messages ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . interfaces . Element IDENT_23 = IDENT_5 . METHOD_2 ( INT_0 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . interfaces . Element IDENT_24 = IDENT_9 . METHOD_2 ( 2 ) ; int index = 1 ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . classes . IDENT_25 IDENT_26 = IDENT_22 . METHOD_4 ( IDENT_24 , index ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . classes . IDENT_27 IDENT_28 = IDENT_22 . METHOD_5 ( IDENT_26 , IDENT_23 ) ; boolean v = IDENT_22 . verify ( IDENT_28 , IDENT_23 ) ; "<AssertPlaceHolder>" ; } verify ( ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . interfaces . Element , ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_14 . interfaces . Element ) { if ( ( ! ( this . METHOD_6 ( ) . contains ( IDENT_28 ) ) ) || ( ! ( this . METHOD_7 ( ) . contains ( IDENT_23 ) ) ) ) { throw new java . lang . IllegalArgumentException ( ) ; } return this . METHOD_8 ( ( ( IDENT_29 ) ( IDENT_28 ) ) , ( ( IDENT_30 ) ( IDENT_23 ) ) ) ; }
org . junit . Assert . assertTrue ( v )