let get_flattened (finite_domain: finite_domain) : problem =
  finite_domain.flattened