
SYNTHESIZE: HealthHeritageBinaryAge;

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

    ENFORCE: STATISTICAL: PARAM <param1>:
        STD[no_Claims] < E[no_Claims] / 2;

END;