further work on constrained non determinism chapter. Almost finished first pass