- Corrected Constraint definitions
- Corrected termination conditions
- Added randomness in constraint values