final boolean METHOD_1 ( TYPE_1 VAR_1 ) { assert ( state ) == ( VAR_2 ) : STRING_1 + ( state ) ; TYPE_2 path = VAR_3 . METHOD_2 ( this , VAR_1 ) ; if ( path == null ) { return false ; } else { METHOD_3 ( path ) ; return true ; } }

final boolean METHOD_1 ( TYPE_1 VAR_1 ) { assert ( state ) == ( VAR_2 ) : STRING_1 + ( state ) ; TYPE_2 path = VAR_3 . METHOD_2 ( this , VAR_1 ) ; if ( path == null ) { return false ; } else { METHOD_3 ( path ) ; return path != null ; } }
