------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- - Author: Anthony Fernandes Pires
-- - Version: 0.1
-- - Date: 2014/15/10
------------------------------------------------------------------------------
-- - varout_1: the output variable one
-- - varout_2: the output variable two
-- - then_term_1: the value of varout_1 if the condition at the entrance is true. Can be a constant or a variable.
-- - else_term_1: the value of varout_1 if the condition at the entrance is false. Can be a constant or a variable.
-- - then_term_2: the value of varout_2 if the condition at the entrance is true. Can be a constant or a variable.
-- - else_term_2: the value of varout_2 if the condition at the entrance is false. Can be a constant or a variable.
------------------------------------------------------------------------------
------------------------------------------------------------------------------

next(varout_1) = (CONDITION_AT_ENTRANCE ? next(then_term_1): next(else_term_1)) &
next(varout_2) = (CONDITION_AT_ENTRANCE ? next(then_term_2): next(else_term_2))