public void update ( ) { VAR_1 . update ( VAR_2 ) ; VAR_3 . update ( VAR_1 ) ; <BUG> VAR_4 . update ( ) ;</BUG> VAR_5 . update ( ) ; }
public void update ( ) { VAR_1 . update ( VAR_2 ) ; VAR_3 . update ( VAR_1 ) ; VAR_4 . update ( VAR_5 ) ; VAR_5 . update ( ) ; } 
