Using column as domain instead of having domain for c-variables
mudbri opened this issue · comments
Currently, we specify the domain of every c-variable separately. This domain is used while reasoning about conditions. However, this is incorrect. We should have domain for columns instead of c-variables.