- added bitvector-based generation of nondeterministic choices
- added bitvector-based generation of interval variables
- improving the bitvector-based generation of nondeterministic booleans