@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory) {
    return new PushInstruction(getValue().bindToFactory(factory), getDfaAnchor());
  }
@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory)