test(mbt): Add Model Based Test for Emerald#201

erickpintor wants to merge 1 commit intoerick/mbt-decide-on-roundinformalsystems/emerald:erick/mbt-decide-on-roundfrom

erick/introduce-mbt-suiteinformalsystems/emerald:erick/introduce-mbt-suiteCopy head branch name to clipboard