add attributes to terms so that we can specify the bit width of MInt var...

...iables

**please review**
I don't understand how this test works.
Could you explain?
Better yet, write some comments in the test files.