
SYNTHESIZE: CompasBinaryRace;

    ENFORCE: LINE CONSTRAINT: PARAM <param1>:
        priors_count <= 1;

END;
