public void METHOD_1 ( int VAR_1 ) { if ( ! ( VAR_2 ) ) VAR_3 += VAR_4 . METHOD_2 ( VAR_1 ) ; } 

public void METHOD_1 ( int VAR_1 ) { assert ! ( VAR_2 ) ; if ( ! ( VAR_2 ) ) VAR_3 += VAR_4 . METHOD_2 ( VAR_1 ) ; } 
