public @NotNull DfaVariableValue createTempVariable(@NotNull DfType dfType) {
    return getFactory().getVarFactory().createVariableValue(new Synthetic(getInstructionCount(), dfType));
  }
public @NotNull DfaVariableValue createTempVariable(@NotNull DfType dfType)