public boolean METHOD_1 ( TYPE_1 VAR_1 , TYPE_1 VAR_2 ) { assert METHOD_2 ( VAR_1 ) . contains ( VAR_2 ) ; if ( ! ( VAR_1 . METHOD_3 ( ) ) ) return false ; for ( TYPE_2 VAR_3 : VAR_2 . METHOD_4 ( ) ) { if ( ( VAR_3 . METHOD_5 ( ) ) == VAR_2 ) return true ; } return false ; }

public boolean METHOD_1 ( TYPE_1 VAR_1 , TYPE_1 VAR_2 ) { assert METHOD_2 ( VAR_1 ) . contains ( VAR_2 ) ; if ( ! ( VAR_1 . METHOD_3 ( ) ) ) return false ; for ( TYPE_2 VAR_3 : VAR_1 . METHOD_4 ( ) ) { if ( ( VAR_3 . METHOD_5 ( ) ) == VAR_2 ) return true ; } return false ; }
