NoFactory -- In this version, the model .cs file does not include a
factory method, build.bat builds the DLL with no factory method, and
all commands use the new /mp switch but no factory method argument.

---------------------------

Reactive system model from section 5.7, safety and liveness analyses
from 6.3 and 7.5

To compile the model, first run 

> build

To display the unsafe states as in figure 6.9

> mpv @mpv_safety.txt

To display the dead states as in figure 6.12

> mpv @mpv_liveness.txt

To display the scenario for safety analysis as in figure 7.20

> mpv @mpv_scenario.txt

To display the product of composing the contract model and the
scenario as in figure 7.21

> mpv @mpv_composition.txt

then (from drop-down menu in upper left corner) select Reactive to see
the projection of (Reactive x Scenario.txt) onto Reactive
