SYNTHESIZE: HealthHeritage;

    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=1.0, DELTA=1e-9;

    ENFORCE: STATISTICAL: PARAM <param1>:
        E[max_CharlsonIndex|Sex==F] == E[max_CharlsonIndex|Sex==M];

END;
