public void METHOD_1 ( TYPE_1 VAR_1 , TYPE_1 VAR_2 ) throws TYPE_2 { assert VAR_1 != null ; assert VAR_2 != null ; VAR_3 . METHOD_1 ( VAR_1 , VAR_2 ) ; METHOD_2 ( VAR_4 ) ; METHOD_3 ( ) ; } 

public void METHOD_1 ( TYPE_1 VAR_1 , TYPE_1 VAR_2 ) throws TYPE_2 { assert VAR_1 != null ; assert VAR_2 != null ; VAR_3 . METHOD_1 ( VAR_1 , VAR_2 ) ; METHOD_3 ( ) ; } 
