Program: 147268
Project: 147268
Buggy source:
@Override public Conditional<Instruction> execute(FeatureExpr ctx,final ThreadInfo ti){
  pushValue=One.valueOf(0);
  final StackFrame frame=ti.getModifiableTopFrame();
  final Instruction thisInstruction=this;
  Conditional<Integer> aref=frame.peek(ctx,1);
  final ArrayLoadInstruction instruction=this;
  pushCtx=ctx;
  Conditional<Instruction> next=aref.mapf(ctx,new BiFunction<FeatureExpr,Integer,Conditional<Instruction>>(){
    @Override public Conditional<Instruction> apply(    FeatureExpr ctx,    Integer aref){
      if (aref == MJIEnv.NULL) {
        pushCtx=Conditional.andNot(pushCtx,ctx);
        return new One<>(new EXCEPTION("String_Node_Str","String_Node_Str"));
      }
      final ElementInfo e=ti.getElementInfoWithUpdatedSharedness(aref);
      if (isNewPorBoundary(e,ti)) {
        if (createAndSetArrayCG(e,ti,aref,peekIndex(ctx,ti),true)) {
          pushCtx=Conditional.andNot(pushCtx,ctx);
          return new One<>(instruction);
        }
      }
      return new One<>(null);
    }
  }
);
  if (Conditional.isContradiction(pushCtx)) {
    return next;
  }
  index=frame.pop(ctx);
  arrayRef=frame.pop(ctx).simplify(pushCtx);
  next=ChoiceFactory.create(pushCtx,arrayRef.mapf(FeatureExprFactory.True(),new BiFunction<FeatureExpr,Integer,Conditional<Instruction>>(){
    @Override public Conditional<Instruction> apply(    FeatureExpr ctx,    Integer aref){
      final ElementInfo e=ti.getElementInfoWithUpdatedSharedness(aref);
      return index.mapf(ctx,new BiFunction<FeatureExpr,Integer,Conditional<Instruction>>(){
        @SuppressWarnings("String_Node_Str") @Override public Conditional<Instruction> apply(        FeatureExpr ctx,        Integer index){
          try {
            final Conditional push=getPushValue(ctx,frame,e,index);
            pushValue=ChoiceFactory.create(ctx,push,pushValue);
            return getNext(ctx,ti);
          }
 catch (          ArrayIndexOutOfBoundsException ex) {
            pushCtx=Conditional.andNot(pushCtx,ctx);
            return new One<>(new EXCEPTION(thisInstruction,java.lang.ArrayIndexOutOfBoundsException.class.getName(),Integer.toString(index)));
          }
        }
      }
);
    }
  }
),next);
  pushValue(pushCtx,frame,pushValue);
  if (index.isOne() && aref.isOne()) {
    final ElementInfo e=ti.getElementInfoWithUpdatedSharedness(aref.getValue());
    Object attr=e.getElementAttr(index.getValue());
    if (attr != null) {
      if (getElementSize() == 1) {
        frame.setOperandAttr(attr);
      }
 else {
        frame.setLongOperandAttr(attr);
      }
    }
  }
  return next;
}

Fixed version (ground truth):
@Override public Conditional<Instruction> execute(FeatureExpr ctx,final ThreadInfo ti){
  pushValue=One.valueOf(0);
  final StackFrame frame=ti.getModifiableTopFrame();
  final Instruction thisInstruction=this;
  Conditional<Integer> aref=frame.peek(ctx,1);
  final ArrayLoadInstruction instruction=this;
  pushCtx=ctx;
  Conditional<Instruction> next=aref.mapf(ctx,new BiFunction<FeatureExpr,Integer,Conditional<Instruction>>(){
    @Override public Conditional<Instruction> apply(    FeatureExpr ctx,    Integer aref){
      if (aref == MJIEnv.NULL) {
        pushCtx=Conditional.andNot(pushCtx,ctx);
        return new One<>(new EXCEPTION(ArrayLoadInstruction.this,"String_Node_Str","String_Node_Str"));
      }
      final ElementInfo e=ti.getElementInfoWithUpdatedSharedness(aref);
      if (isNewPorBoundary(e,ti)) {
        if (createAndSetArrayCG(e,ti,aref,peekIndex(ctx,ti),true)) {
          pushCtx=Conditional.andNot(pushCtx,ctx);
          return new One<>(instruction);
        }
      }
      return new One<>(null);
    }
  }
);
  if (Conditional.isContradiction(pushCtx)) {
    return next;
  }
  index=frame.pop(ctx);
  arrayRef=frame.pop(ctx).simplify(pushCtx);
  next=ChoiceFactory.create(pushCtx,arrayRef.mapf(FeatureExprFactory.True(),new BiFunction<FeatureExpr,Integer,Conditional<Instruction>>(){
    @Override public Conditional<Instruction> apply(    FeatureExpr ctx,    Integer aref){
      final ElementInfo e=ti.getElementInfoWithUpdatedSharedness(aref);
      return index.mapf(ctx,new BiFunction<FeatureExpr,Integer,Conditional<Instruction>>(){
        @SuppressWarnings("String_Node_Str") @Override public Conditional<Instruction> apply(        FeatureExpr ctx,        Integer index){
          try {
            final Conditional push=getPushValue(ctx,frame,e,index);
            pushValue=ChoiceFactory.create(ctx,push,pushValue);
            return getNext(ctx,ti);
          }
 catch (          ArrayIndexOutOfBoundsException ex) {
            pushCtx=Conditional.andNot(pushCtx,ctx);
            return new One<>(new EXCEPTION(thisInstruction,java.lang.ArrayIndexOutOfBoundsException.class.getName(),Integer.toString(index)));
          }
        }
      }
);
    }
  }
),next);
  pushValue(pushCtx,frame,pushValue);
  if (index.isOne() && aref.isOne()) {
    final ElementInfo e=ti.getElementInfoWithUpdatedSharedness(aref.getValue());
    Object attr=e.getElementAttr(index.getValue());
    if (attr != null) {
      if (getElementSize() == 1) {
        frame.setOperandAttr(attr);
      }
 else {
        frame.setLongOperandAttr(attr);
      }
    }
  }
  return next;
}