Added well-formedness conditions on directories. Added well formedness requirements on directory assertion interpretation.
Fixed well-formedness conditions on directories (working with forests). Added well formedness conditions on instrumented file systems.
Added a reification from states described by assertions to "complete" states.