<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/76839>76839</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Implement `insertVar` having `Identifier` parameter
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          iambrj
      </td>
    </tr>
</table>

<pre>
    Currently, the `insertVar`s for `PresburgerSpace`, `IntegerRelation`, and `PresburgerRelation` insert a null identifier for the new var. It would be convenient to have an `insertVar` which also takes an `Identifier` parameter. 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8kc2OnTAMhZ8mbKJBIeF3kUU7FdLdVa3UvQMGMg0JSgxX8_YV9Ko_dzGrSDk-Pp9tSMnOHlGz6jOrvmSw0xKitrCa-JaZML7r1z1G9OTemXzltCBntbA-YaQfEFktEp9CPD-_RkxmjzPG7xsMyGpxOlgtbp5wxvgNHZAN_iGAH_93_aPz3wEcuN-d43ZET3ayGK-sE8LjnR8Qc34jfg-7G7lBPgR_oLfoiVPgCxzIwT_z8vtih4WDS4ET_MT0qLn9CTmLNoiwImHMeTZqNXaqgwx10YhSiVqIMlv0BAV2hZkGCaiqFlpjjBKqGasCh7IwmdVSyFIUQhVt0VVNLrqygRa6yoipVrVhpcAVrMudO9Y8xDmzKe2om7pVXebAoEvXaaQ8B75EJuV5qahPz4vZ58RK4Wyi9LcLWXKob-vmcD238byCBQ7r5w-mzvbo9EK0JaY-Mdkz2c-Wlt3kQ1iZ7M-kx_OyxfCGAzHZX3yJyf7i_xUAAP__TVHGGA">