------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- - 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)