public void add ( TYPE_1 VAR_1 ) throws TYPE_2 { super . add ( VAR_1 ) ; assert VAR_1 instanceof TYPE_3 ; VAR_2 . add ( new TYPE_3 ( VAR_1 ) ) ; METHOD_1 ( ) ; } 

public void add ( TYPE_1 VAR_1 ) throws TYPE_2 { super . add ( VAR_1 ) ; assert VAR_1 instanceof TYPE_3 ; VAR_2 . add ( ( ( TYPE_3 ) ( VAR_1 ) ) ) ; METHOD_1 ( ) ; } 
