public void METHOD_1 ( TYPE_1 VAR_1 , TYPE_1 VAR_2 ) throws TYPE_2 { assert VAR_2 != null ; assert VAR_1 instanceof TYPE_3 ; TYPE_3 VAR_3 = ( ( TYPE_3 ) ( VAR_1 ) ) ; if ( ( ! ( VAR_3 . equals ( VAR_2 ) ) ) && ( VAR_4 . contains ( VAR_2 ) ) ) { throw new TYPE_2 ( ) ; } VAR_3 . METHOD_2 ( VAR_2 ) ; VAR_4 . set ( VAR_4 . METHOD_3 ( VAR_3 ) , VAR_3 ) ; }

public void METHOD_1 ( TYPE_1 VAR_1 , TYPE_1 VAR_2 ) throws TYPE_2 { assert VAR_2 != null ; assert VAR_1 instanceof TYPE_3 ; TYPE_3 VAR_3 = ( ( TYPE_3 ) ( VAR_1 ) ) ; if ( ( ! ( VAR_3 . equals ( VAR_2 ) ) ) && ( VAR_4 . contains ( VAR_2 ) ) ) { throw new TYPE_2 ( ) ; } int index = VAR_4 . METHOD_3 ( VAR_3 ) ; VAR_3 . METHOD_2 ( VAR_2 ) ; VAR_4 . set ( index , VAR_3 ) ; }
