Modify outputs in ambiguous cases.
(determined values are declared as "fixed" predicate)