This dir contains an implementation of State Transition Analysis ID
implemented with cooperating concrete/abstract wrappers.
