
SYNTHESIZE: Compas;

    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=<epsilon>, DELTA=1e-9;

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

END;