Make Cases in tests public to avoid csc warning.
Extend to require prelude line (---).