let get_domain_element (number: int) : term =
  if number <= 0 then
    failwith "Finite_domain.get_domain_element";

  let symbol =
    Symbol.get_fd_element number
  in
    Term.request_const symbol