Program: 2348
Project: 2348
Buggy source:
protected void addBranchMethods(){
  Role self=this.apigen.getSelf();
  Set<IOAction> as=this.curr.getAcceptable();
  AbstractMethodBuilder bra=this.ib.newAbstractMethod("String_Node_Str");
  String ret=CaseInterfaceGenerator.getCasesInterfaceName(self,this.curr) + "String_Node_Str" + IntStream.range(1,as.size() + 1).mapToObj((i) -> "String_Node_Str" + i).collect(Collectors.joining("String_Node_Str"))+ "String_Node_Str";
  bra.setReturn(ret);
  bra.addParameters(SessionApiGenerator.getRoleClassName(as.iterator().next().obj) + "String_Node_Str");
  bra.addExceptions(StateChannelApiGenerator.SCRIBBLERUNTIMEEXCEPTION_CLASS,"String_Node_Str","String_Node_Str");
  AbstractMethodBuilder bra2=this.ib.newAbstractMethod("String_Node_Str");
  bra2.setReturn(JavaBuilder.VOID);
  bra2.addParameters(SessionApiGenerator.getRoleClassName(as.iterator().next().obj) + "String_Node_Str");
  String next=HandleInterfaceGenerator.getHandleInterfaceName(self,this.curr) + "String_Node_Str" + IntStream.range(1,as.size() + 1).mapToObj((i) -> "String_Node_Str" + i).collect(Collectors.joining("String_Node_Str"))+ "String_Node_Str";
  bra2.addParameters(next + "String_Node_Str");
  bra2.addExceptions(StateChannelApiGenerator.SCRIBBLERUNTIMEEXCEPTION_CLASS,"String_Node_Str","String_Node_Str");
  AbstractMethodBuilder bra3=this.ib.newAbstractMethod("String_Node_Str");
  bra3.setReturn(JavaBuilder.VOID);
  bra3.addParameters(SessionApiGenerator.getRoleClassName(as.iterator().next().obj) + "String_Node_Str");
  String handle=HandleInterfaceGenerator.getHandleInterfaceName(self,this.curr) + "String_Node_Str" + as.stream().sorted(IOStateInterfaceGenerator.IOACTION_COMPARATOR).map((a) -> SuccessorInterfaceGenerator.getSuccessorInterfaceName(a)).collect(Collectors.joining("String_Node_Str"))+ "String_Node_Str";
  bra3.addParameters(handle + "String_Node_Str");
  bra3.addExceptions(StateChannelApiGenerator.SCRIBBLERUNTIMEEXCEPTION_CLASS,"String_Node_Str","String_Node_Str");
}

Fixed version (ground truth):
protected void addBranchMethods(){
  Role self=this.apigen.getSelf();
  Set<IOAction> as=this.curr.getTakeable();
  AbstractMethodBuilder bra=this.ib.newAbstractMethod("String_Node_Str");
  String ret=CaseInterfaceGenerator.getCasesInterfaceName(self,this.curr) + "String_Node_Str" + IntStream.range(1,as.size() + 1).mapToObj((i) -> "String_Node_Str" + i).collect(Collectors.joining("String_Node_Str"))+ "String_Node_Str";
  bra.setReturn(ret);
  bra.addParameters(SessionApiGenerator.getRoleClassName(as.iterator().next().obj) + "String_Node_Str");
  bra.addExceptions(StateChannelApiGenerator.SCRIBBLERUNTIMEEXCEPTION_CLASS,"String_Node_Str","String_Node_Str");
  AbstractMethodBuilder bra2=this.ib.newAbstractMethod("String_Node_Str");
  bra2.setReturn(JavaBuilder.VOID);
  bra2.addParameters(SessionApiGenerator.getRoleClassName(as.iterator().next().obj) + "String_Node_Str");
  String next=HandleInterfaceGenerator.getHandleInterfaceName(self,this.curr) + "String_Node_Str" + IntStream.range(1,as.size() + 1).mapToObj((i) -> "String_Node_Str" + i).collect(Collectors.joining("String_Node_Str"))+ "String_Node_Str";
  bra2.addParameters(next + "String_Node_Str");
  bra2.addExceptions(StateChannelApiGenerator.SCRIBBLERUNTIMEEXCEPTION_CLASS,"String_Node_Str","String_Node_Str");
  AbstractMethodBuilder bra3=this.ib.newAbstractMethod("String_Node_Str");
  bra3.setReturn(JavaBuilder.VOID);
  bra3.addParameters(SessionApiGenerator.getRoleClassName(as.iterator().next().obj) + "String_Node_Str");
  String handle=HandleInterfaceGenerator.getHandleInterfaceName(self,this.curr) + "String_Node_Str" + as.stream().sorted(IOStateInterfaceGenerator.IOACTION_COMPARATOR).map((a) -> SuccessorInterfaceGenerator.getSuccessorInterfaceName(a)).collect(Collectors.joining("String_Node_Str"))+ "String_Node_Str";
  bra3.addParameters(handle + "String_Node_Str");
  bra3.addExceptions(StateChannelApiGenerator.SCRIBBLERUNTIMEEXCEPTION_CLASS,"String_Node_Str","String_Node_Str");
}