------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- - Author: Roberto Cavada
-- - Version: 0.1
-- - Date: 2011/09/16
------------------------------------------------------------------------------
-- - varout: the output variable
-- - min_value: the minimal value of non determinism
-- - max_value: the maximal value of non determinism
------------------------------------------------------------------------------
------------------------------------------------------------------------------

next(varout) >= min_value & next(${counter_max}) <= max_value