| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| -- - Author: Anthony Fernandes Pires |
| -- - Version: 0.1 |
| -- - Date: 2014/09/24 |
| ------------------------------------------------------------------------------ |
| -- - varout: the output variable |
| -- - min_bound: the minimal bound of non determinism. Can be a constant or a variable. |
| -- - max_bound: the maximal bound of non determinism. Can be a constant or a variable. |
| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| |
| next(varout) >= next(min_bound) & next(varout) <= next(max_bound) |
