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 ( 2 ) , IDENT_5 . METHOD_2 ( 4 ) ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_7 . classes . IDENT_14 IDENT_15 = IDENT_9 . METHOD_2 ( 2 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_7 . classes . IDENT_14 IDENT_16 = IDENT_9 . METHOD_2 ( 3 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_7 . classes . IDENT_14 IDENT_17 = IDENT_9 . METHOD_2 ( 4 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_7 . classes . IDENT_14 IDENT_18 = IDENT_9 . METHOD_2 ( 5 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . classes . IDENT_20 messages = ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . classes . IDENT_20 . getInstance ( IDENT_9 , IDENT_15 , IDENT_16 , IDENT_17 , IDENT_18 ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_21 . IDENT_22 . interfaces . IDENT_23 IDENT_24 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_21 . classes . IDENT_25 . METHOD_3 ( IDENT_13 , IDENT_26 ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_21 . classes . IDENT_25 IDENT_27 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_21 . classes . IDENT_25 . getInstance ( IDENT_24 , IDENT_13 , messages ) ; int index = 3 ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . interfaces . Element r = IDENT_9 . METHOD_2 ( 5 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . classes . IDENT_28 IDENT_29 = IDENT_27 . METHOD_4 ( r , index ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . interfaces . Element IDENT_30 = IDENT_13 . commit ( IDENT_18 , r ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . classes . IDENT_31 IDENT_32 = IDENT_27 . METHOD_5 ( IDENT_29 , IDENT_30 ) ; boolean v = IDENT_27 . verify ( IDENT_32 , IDENT_30 ) ; "<AssertPlaceHolder>" ; } verify ( ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . interfaces . Element , ch . IDENT_0 . IDENT_1 . math . IDENT_2 . IDENT_19 . interfaces . Element ) { if ( ( ! ( this . METHOD_6 ( ) . contains ( IDENT_32 ) ) ) || ( ! ( this . METHOD_7 ( ) . contains ( IDENT_30 ) ) ) ) { throw new java . lang . IllegalArgumentException ( ) ; } return this . METHOD_8 ( ( ( IDENT_33 ) ( IDENT_32 ) ) , ( ( IDENT_34 ) ( IDENT_30 ) ) ) ; }
org . junit . Assert . assertTrue ( v )