METHOD_0 ( ) { java . util . IDENT_0 random = new java . util . METHOD_1 ( ) ; double IDENT_1 = random . METHOD_2 ( 10 ) ; "<AssertPlaceHolder>" ; }
org . junit . Assert . assertTrue ( ( IDENT_1 <= 10 ) )