Edits arising from linear constraints.
Example: If v1, v2, v3 are variables and a, b, and c are real constants, linear inequality edits are given by:
1. a <= v1 & v2 <= b (This is two edits. Each can be converted to linear inequality.)
2. a v1 + b v2 <= c
3. v1 + v2 = v3