Buggy code:
public class MessageSend extends Expression implements IPolyExpression , Invocation { public Expression receiver ; public char [ ] selector ; public Expression [ ] arguments ; public MethodBinding binding ; public MethodBinding syntheticAccessor ; public TypeBinding expectedType ; public long nameSourcePosition ; public TypeBinding actualReceiverType ; public TypeBinding valueCast ; public TypeReference [ ] typeArguments ; public TypeBinding [ ] genericTypeArguments ; private ExpressionContext expressionContext = ExpressionContext . VANILLA_CONTEXT ; private SimpleLookupTable inferenceContexts ; private HashMap < TypeBinding , MethodBinding > solutionsPerTargetType ; private InferenceContext18 outerInferenceContext ; private boolean receiverIsType ; protected boolean argsContainCast ; public TypeBinding [ ] argumentTypes = Binding . NO_PARAMETERS ; public boolean argumentsHaveErrors = false ; public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } private void recordCallingClose ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo , Expression closeTarget ) { } private static final int TRUE_ASSERTION = 1 ; private static final int FALSE_ASSERTION = 2 ; private static final int NULL_ASSERTION = 3 ; private static final int NONNULL_ASSERTION = 4 ; private int detectAssertionUtility ( int argumentIdx ) { } private FlowInfo analyseBooleanAssertion ( BlockScope currentScope , Expression argument , FlowContext flowContext , FlowInfo flowInfo , boolean wasInsideAssert , boolean passOnTrue ) { } private FlowInfo analyseNullAssertion ( BlockScope currentScope , Expression argument , FlowContext flowContext , FlowInfo flowInfo , boolean expectingNull ) { } public boolean checkNPE ( BlockScope scope , FlowContext flowContext , FlowInfo flowInfo ) { } public void computeConversion ( Scope scope , TypeBinding runtimeTimeType , TypeBinding compileTimeType ) { } public void generateCode ( BlockScope currentScope , CodeStream codeStream , boolean valueRequired ) { } public TypeBinding [ ] genericTypeArguments ( ) { } public boolean isSuperAccess ( ) { } public boolean isTypeAccess ( ) { } public void manageSyntheticAccessIfNecessary ( BlockScope currentScope , FlowInfo flowInfo ) { } public int nullStatus ( FlowInfo flowInfo , FlowContext flowContext ) { } public TypeBinding postConversionType ( Scope scope ) { } public StringBuffer printExpression ( int indent , StringBuffer output ) { } public TypeBinding resolveType ( BlockScope scope ) { } protected TypeBinding findMethodBinding ( BlockScope scope ) { } public void setActualReceiverType ( ReferenceBinding receiverType ) { } public void setDepth ( int depth ) { } public void setExpectedType ( TypeBinding expectedType ) { } public void setExpressionContext ( ExpressionContext context ) { } public boolean isPolyExpression ( ) { } public boolean isBoxingCompatibleWith ( TypeBinding targetType , Scope scope ) { } public boolean isCompatibleWith ( TypeBinding targetType , final Scope scope ) { } public boolean isPolyExpression ( MethodBinding resolutionCandidate ) { } public boolean sIsMoreSpecific ( TypeBinding s , TypeBinding t , Scope scope ) { } public void setFieldIndex ( int depth ) { } public TypeBinding invocationTargetType ( ) { } public void traverse ( ASTVisitor visitor , BlockScope blockScope ) { } public boolean statementExpression ( ) { <START_BUG> return true ; <END_BUG> } public boolean receiverIsImplicitThis ( ) { } public MethodBinding binding ( ) { } public void registerInferenceContext ( ParameterizedGenericMethodBinding method , InferenceContext18 infCtx18 ) { } @ Override public void registerResult ( TypeBinding targetType , MethodBinding method ) { } public InferenceContext18 getInferenceContext ( ParameterizedMethodBinding method ) { } public Expression [ ] arguments ( ) { } public ExpressionContext getExpressionContext ( ) { } public InferenceContext18 freshInferenceContext ( Scope scope ) { } @ Override public boolean isQualifiedSuper ( ) { } }

Fix:
return ( ( this . bits ) & ( ASTNode . ParenthesizedMASK ) ) == 0 ;