sO replaceVars_understandsTransformableAndList(O o, Map map) {
  if (empty(map)) ret o;
  ret transform_understandsTransformableAndList_keepUnknown(x -> map.get(x), o);
}