int insert = -(bs + 1);
System.arraycopy(this.branches, 0, newBranches, 0, insert);
System.arraycopy(branches, insert, newBranches, insert + 1, branches.length - insert);
newBranches[insert] = branch;
this.branches = newBranches;
<BUG>}
}</BUG>
return branch;
}
public int getIndex(char c) {

int insert = -(bs + 1);
System.arraycopy(this.branches, 0, newBranches, 0, insert);
System.arraycopy(branches, insert, newBranches, insert + 1, branches.length - insert);
newBranches[insert] = branch;
this.branches = newBranches;
}
if (branch.getStatus() == 3) {
size++;
}
}
return branch;
}
public int getIndex(char c) {
