sig
  val abs_ident_string : string
  val oracle_ident_string : string
  val instance_ident_string : string
  val init_flag_ident_string : string
  val all_req_ident_string : string
  val all_ens_ident_string : string
  val inst_ident_string : string
  val init_uf_string : string
  val trans_uf_string : string
  val index_ident_string : string
  val state_string : string
  val restart_string : string
  val state_selected_string : string
  val restart_selected_string : string
  val state_selected_next_string : string
  val restart_selected_next_string : string
  val handler_string : string
  val unless_string : string
  val init_flag_string : string
  val depth_input_string : string
  val max_depth_input_string : string
  val function_of_inputs : string
  val reserved_strings : string list
end