NewsReader sample from section 5.4, visualized by mpv as in section
6.2, analyzed using composition as in 7.5

To compile the sample, first run 

> build

Then to display the FSM as in fig. 6.4, run

> mpv @mpv_contract.txt

To display the FSM of a forbidden scenario as in fig. 7.18

> mpv @mpv_forbidden.txt

To display the results of composing the contract model with the
forbidden scenario as in fig. 7.19

> mpv @mpv_forbidden_composition.txt



