private boolean METHOD_1 ( ) { assert ( VAR_1 ) != null ; if ( ( ( ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_2 , VAR_3 ) ) || ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_4 , VAR_5 ) ) ) || ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_5 , VAR_6 ) ) ) || ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_4 , VAR_6 ) ) ) { return false ; } return true ; }

private boolean METHOD_1 ( ) { assert ( VAR_1 ) != null ; return ! ( ( ( ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_2 , VAR_3 ) ) || ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_4 , VAR_5 ) ) ) || ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_5 , VAR_6 ) ) ) || ( TYPE_1 . METHOD_2 ( VAR_1 , VAR_4 , VAR_6 ) ) ) ; }
