/* MIT. Explicit override registration for a postcondition-only module. */
public final class FormalWikiOverrides implements tlc2.overrides.ITLCOverrides {
    public Class[] get() { return new Class[] { FormalWikiTrace.class }; }
}