
SYNTHESIZE: CompasBinaryRace;

    ENFORCE: LINE CONSTRAINT: 
        priors_count <= 1;

END;
