Hw 6:
=====

Due date: Nov. 22

Part 1:
=======

Richard Conlan identified the need to have a semantic checker
for Chinese Wall automata from hw 4. Take the improved design 
from the midterm and write a semantic checker that checks for the
properties that Richard identified in his csg379 email.
What kind of vulnerability is possible if an automaton that
is used for initialization has an illegal state?

Analyze the problem and implement your semantic checker using DAJ.