public CFGBuilder splice(int count, int... replacement) {
    if (count == 0 && replacement.length == 0) return this;
    return add(new SpliceInstruction(count, replacement));
  }
public CFGBuilder splice(int count, int... replacement)