
SYNTHESIZE: CompasBinaryRace;

    ENFORCE: LINE CONSTRAINT: PARAM <param1>:
        age < 30;

END;
