public java.lang.String toString ( ) { <BUG> if ( ( this ) == ( VAR_1 ) ) {return STRING_1 ;}</BUG> return super . toString ( ) . toLowerCase ( VAR_2 ) ; }
public java.lang.String toString ( ) { return super . toString ( ) . toLowerCase ( VAR_2 ) ; } 
