public void METHOD_1 ( ) { if ( ( state ) == ( VAR_1 ) ) { state = VAR_2 ; <BUG> return ;}if ( ( state ) == ( VAR_2 ) ) {state = VAR_3 ;</BUG> return ; } }
public void METHOD_1 ( ) { if ( ( state ) == ( VAR_1 ) ) { state = VAR_2 ; return ; } } 
