@Override
  public DfaControlTransferValue bindToFactory(DfaValueFactory factory) {
    return factory.controlTransfer(target.bindToFactory(factory), traps);
  }
@Override
  public DfaControlTransferValue bindToFactory(DfaValueFactory factory)