let null_element : element = {
  el_id = get_unique_element_id ();
  el_literal = Term.null_literal;
  el_pars = [];
  el_generation = 0;
  el_choice_point = State.invalid_choice_point;
  el_is_fd_incomplete = false;
  el_compacted = -1;
}