first step of constraint transformation (#80102)
Differential Revision: [D37387412](https://our.internmc.facebook.com/intern/diff/D37387412)
Here, we transform the high level constraints to lower level constraints. For example we can expand a precision constraint into a set of equality constraints. The same thing for consistency constraints. We do not yet transform them to Z3. This will be in the next step.
Pull Request resolved: https://github.com/pytorch/pytorch/pull/80102
Approved by: https://github.com/anijain2305, https://github.com/jamesr66a
