public boolean METHOD_1 ( ) { <BUG> return ( ( VAR_1 ) == ( ( VAR_2 ) + ( VAR_3 ) ) ) && ( ( VAR_4 ) == ( VAR_1 ) ) ;</BUG> }
public boolean METHOD_1 ( ) { return ( VAR_1 ) == ( ( VAR_2 ) + ( VAR_3 ) ) ; } 
