METHOD_0 ( ) { int size = client . METHOD_1 ( ) . size ( ) ; java . lang . String IDENT_0 = STRING_0 ; client . METHOD_2 ( ) ; client . METHOD_3 ( size , IDENT_0 ) ; "<AssertPlaceHolder>" ; } METHOD_1 ( ) { return messages ; }
org . junit . Assert . assertTrue ( client . METHOD_1 ( ) . get ( size ) . getText ( ) . equals ( IDENT_0 ) )