case-map: Drop use of variable aux data.