}
}};
BinaryAdder4 binaryAdders4[] = new BinaryAdder4[]{new BinaryAdder4() {</BUG>
@Override
public EncodedNumber eval(EncodedNumber arg1, EncodedNumber arg2) {
return arg1.add(arg2);
}
<BUG>}, new BinaryAdder4() {
@Override</BUG>
public EncodedNumber eval(EncodedNumber arg1, EncodedNumber arg2) {

}
}, new EncodedToEncodedAdder() {
@Override
public EncodedNumber eval(EncodedNumber arg1, EncodedNumber arg2) {
return arg2.add(arg1);
}
