New: ocd-restrem