let get_problem (finite_domain: finite_domain) : problem =
  finite_domain.original