METHOD_0 ( ) { shell . METHOD_1 ( 1 , 2 , 3 , 4 ) ; shell . METHOD_2 ( true ) ; shell . METHOD_3 ( 10 , 10 ) ; "<AssertPlaceHolder>" ; } METHOD_4 ( ) { METHOD_5 ( ) ; return ( ( ( ( IDENT_0 ) & ( org . eclipse . swt . widgets . IDENT_1 . IDENT_2 ) ) == 0 ) && ( ( ( IDENT_0 ) & ( org . eclipse . swt . widgets . IDENT_1 . IDENT_3 ) ) == 0 ) ) && ( ( ( IDENT_0 ) & ( org . eclipse . swt . widgets . IDENT_1 . IDENT_4 ) ) != 0 ) ; }
org . junit . Assert . assertFalse ( shell . METHOD_4 ( ) )