This directory subtree contains examples illustrating
various Alloy bugs.  Examples illustrating a bug
are kept after the bug is corrected,
for regression testing purposes.
