let element_to_string (element: element) : string =
  "choice_point:    " ^ State.choice_point_to_string element.el_choice_point ^ "\n"
  ^ "literal: " ^ Term.literal_to_string element.el_literal ^ "\n"