Total-Deterministic-or-Bijection case study added. eMoflon assessment.