error_manager

Name:     event_occurred_in_error_scope/1

Name:     get_unknown_error_result/1

Name:     =/2

Name:     !

Name:     extract_perror_pos/3

Name:     add_all_perrors/3

Name:     add_all_perrors/2

Name:     add_all_perrors/1

Name:     add_all_perrors/3

Name:     add_all_perrors/2

Name:     add_all_perrors/1

Name:     add_all_perrors/5

Name:     add_all_perrors/2

Name:     add_all_perrors/1

Name:     RECURSIVE_CALL/5

Name:     is/2

Name:     add_error/4

Name:     add_internal_error/4

Name:     =/2

Name:     ->/3

Name:     add_warning/4

Name:     ==/2

Name:     extract_perror_pos/3

Name:     get_perror/4

Name:     add_error/3

Name:     length/2

Name:     !

Name:     >=/2

Name:     add_all_perrors/2

Name:     add_all_perrors/1

Name:     add_debug_message/4

Name:     get_value_kind/4

Name:     add_debug_message/3

Name:     add_message/4

Name:     !

Name:     debug_mode/1

Name:     get_value_kind/4

Name:     add_debug_message/3

Name:     add_error4/4

Name:     is_null_list/2

Name:     json_parse_file/3

Name:     replace_string_backslashes/2

Name:     conflict_driven_clause_learning_online/8

Name:     get_transition_terms/3

Name:     missing_parser_diagnostics/0

Name:     conc/2

Name:     check_for_multiples/3

Name:     get_version_from_parser/1

Name:     create_event_body1/4

Name:     get_java_command_path/1

Name:     init_interface/1

Name:     get_machinevars_by_name_aux/4

Name:     verify_alloy_command/5

Name:     my_read_from_codes/4

Name:     select_values_sorted_aux/3

Name:     call_table_command_in_state/4

Name:     check_result/3

Name:     check_sequence/2

Name:     mark_aux/5

Name:     load/1

Name:     type_to_expr/2

Name:     call_table_command_with_trace/4

Name:     get_counter_example_list/4

Name:     length_list/2

Name:     safe_set_pref/3

Name:     head_list/2

Name:     z_type2/4

Name:     read_lines_and_add_as_error/1

Name:     tcltk_get_command_line_file_to_open/1

Name:     get_precondition_body/4

Name:     show_facts/2

Name:     convert_set_to_seq/2

Name:     call_prover/3

Name:     replay_counter_example/1

Name:     prolog_token_error/1

Name:     smtlib2_repl/1

Name:     safe_read_line_aux/6

Name:     concat_lists/2

Name:     load_b_machine_probfile_as_term/3

Name:     my_parse_predicate/2

Name:     tail_list/2

Name:     add_error_and_fail/3

Name:     convert_seq_to_set/2

Name:     is_elem_list/2

Name:     handle_console_parser_result/2

Name:     treat_exit_code/5

Name:     machine_file_number/2

Name:     add_internal_error/2

Name:     check_symbolic_values/2

Name:     generator_list_sol/2

Name:     expand_sequence/2

Name:     krt_path_to_kin/3

Name:     add_error_if_result_unexpected/1

Name:     translate_z3_expr/4

Name:     check_prob_file_first_code/4

Name:     append_list/3

Name:     smt_type_to_prob_type/3

Name:     add_all_perrors/5

Name:     set_storage_directory/2

Name:     smt_term_to_prob_term/3

Name:     check_integer/2

Name:     smtlib2_file/2

Name:     connect_to_external_console_parser_on_port/1

Name:     handle_clpfd_overflow/5

Name:     my_read_from_codes/2

Name:     convert_to_cnf_model/3

Name:     prolog_code_error/2

Name:     prolog_code_error/1

Name:     safe_read_exception/6

Name:     find_trace1/6

Name:     add_error4/4

Name:     is_null_list/2

Name:     json_parse_file/3

Name:     replace_string_backslashes/2

Name:     conflict_driven_clause_learning_online/8

Name:     get_transition_terms/3

Name:     missing_parser_diagnostics/0

Name:     conc/2

Name:     check_for_multiples/3

Name:     get_version_from_parser/1

Name:     create_event_body1/4

Name:     get_java_command_path/1

Name:     init_interface/1

Name:     get_machinevars_by_name_aux/4

Name:     verify_alloy_command/5

Name:     my_read_from_codes/4

Name:     select_values_sorted_aux/3

Name:     call_table_command_in_state/4

Name:     check_result/3

Name:     check_sequence/2

Name:     mark_aux/5

Name:     load/1

Name:     type_to_expr/2

Name:     call_table_command_with_trace/4

Name:     get_counter_example_list/4

Name:     length_list/2

Name:     safe_set_pref/3

Name:     head_list/2

Name:     z_type2/4

Name:     read_lines_and_add_as_error/1

Name:     tcltk_get_command_line_file_to_open/1

Name:     get_precondition_body/4

Name:     show_facts/2

Name:     convert_set_to_seq/2

Name:     call_prover/3

Name:     replay_counter_example/1

Name:     prolog_token_error/1

Name:     smtlib2_repl/1

Name:     safe_read_line_aux/6

Name:     concat_lists/2

Name:     load_b_machine_probfile_as_term/3

Name:     my_parse_predicate/2

Name:     tail_list/2

Name:     add_error_and_fail/3

Name:     convert_seq_to_set/2

Name:     is_elem_list/2

Name:     handle_console_parser_result/2

Name:     treat_exit_code/5

Name:     machine_file_number/2

Name:     add_internal_error/2

Name:     check_symbolic_values/2

Name:     generator_list_sol/2

Name:     expand_sequence/2

Name:     krt_path_to_kin/3

Name:     add_error_if_result_unexpected/1

Name:     translate_z3_expr/4

Name:     check_prob_file_first_code/4

Name:     append_list/3

Name:     smt_type_to_prob_type/3

Name:     add_all_perrors/5

Name:     set_storage_directory/2

Name:     smt_term_to_prob_term/3

Name:     check_integer/2

Name:     smtlib2_file/2

Name:     connect_to_external_console_parser_on_port/1

Name:     handle_clpfd_overflow/5

Name:     my_read_from_codes/2

Name:     convert_to_cnf_model/3

Name:     prolog_code_error/2

Name:     prolog_code_error/1

Name:     safe_read_exception/6

Name:     find_trace1/6

Name:     add_error4/4

Name:     is_null_list/2

Name:     json_parse_file/3

Name:     replace_string_backslashes/2

Name:     conflict_driven_clause_learning_online/8

Name:     get_transition_terms/3

Name:     missing_parser_diagnostics/0

Name:     conc/2

Name:     check_for_multiples/3

Name:     get_version_from_parser/1

Name:     create_event_body1/4

Name:     get_java_command_path/1

Name:     init_interface/1

Name:     get_machinevars_by_name_aux/4

Name:     verify_alloy_command/5

Name:     my_read_from_codes/4

Name:     select_values_sorted_aux/3

Name:     call_table_command_in_state/4

Name:     check_result/3

Name:     check_sequence/2

Name:     mark_aux/5

Name:     load/1

Name:     type_to_expr/2

Name:     call_table_command_with_trace/4

Name:     get_counter_example_list/4

Name:     length_list/2

Name:     safe_set_pref/3

Name:     head_list/2

Name:     z_type2/4

Name:     read_lines_and_add_as_error/1

Name:     tcltk_get_command_line_file_to_open/1

Name:     get_precondition_body/4

Name:     show_facts/2

Name:     convert_set_to_seq/2

Name:     call_prover/3

Name:     replay_counter_example/1

Name:     prolog_token_error/1

Name:     smtlib2_repl/1

Name:     safe_read_line_aux/6

Name:     concat_lists/2

Name:     load_b_machine_probfile_as_term/3

Name:     my_parse_predicate/2

Name:     tail_list/2

Name:     add_error_and_fail/3

Name:     convert_seq_to_set/2

Name:     is_elem_list/2

Name:     handle_console_parser_result/2

Name:     treat_exit_code/5

Name:     machine_file_number/2

Name:     add_internal_error/2

Name:     check_symbolic_values/2

Name:     generator_list_sol/2

Name:     expand_sequence/2

Name:     krt_path_to_kin/3

Name:     add_error_if_result_unexpected/1

Name:     translate_z3_expr/4

Name:     check_prob_file_first_code/4

Name:     append_list/3

Name:     smt_type_to_prob_type/3

Name:     add_all_perrors/5

Name:     set_storage_directory/2

Name:     smt_term_to_prob_term/3

Name:     check_integer/2

Name:     smtlib2_file/2

Name:     connect_to_external_console_parser_on_port/1

Name:     handle_clpfd_overflow/5

Name:     my_read_from_codes/2

Name:     convert_to_cnf_model/3

Name:     prolog_code_error/2

Name:     prolog_code_error/1

Name:     safe_read_exception/6

Name:     find_trace1/6

Name:     add_error_or_warning/3

Name:     combine_msg_and_error_term/4

Name:     assert_real_error_occurred/1

Name:     add_error/3

Name:     add_error/4

Name:     add_error/2

Name:     fail

Name:     add_error/2

Name:     generalize_and_add/8

Name:     cli_start_mc_with_tlc/0

Name:     cli_symbolic_model_check/1

Name:     disprove2/5

Name:     fail

Name:     add_error/3

Name:     generalize_and_add/8

Name:     cli_start_mc_with_tlc/0

Name:     cli_symbolic_model_check/1

Name:     disprove2/5

Name:     add_error_and_fail/3

Name:     handle_globalsets_fdrange_contradiction/2

Name:     get_enabling_result/6

Name:     validate_selected_solvers/2

Name:     weakest_precondition2/3

Name:     set_variable_references_in_clause/3

Name:     b_to_cnf_disj_aux/5

Name:     run_mc_safety_property/4

Name:     handle_console_parser_result/2

Name:     validate_selected_z3_solvers/1

Name:     merge_parallels/2

Name:     learn_backjump_clause/3

Name:     create_bounded_smt_identifier/5

Name:     mk_expr_aux/7

Name:     check_transition_fail/3

Name:     b_neg_to_cnf/4

Name:     elim_var_for_phase/7

Name:     get_maximum_decision_level/3

Name:     get_antecedent_assignments/7

Name:     rewrites/8

Name:     get_maximum_decision_level/2

Name:     b_to_cnf/4

Name:     get_from_solver_env/3

Name:     get_backjump_clause_and_level/7

Name:     get_unsat_core_from_smt_formula/3

Name:     get_bf_search_result/3

Name:     b_to_cnf_disj_aux/5

Name:     add_state_to_bindings/3

Name:     translate_z3_expr/4

Name:     create_smt_identifier/5

Name:     attr_unify_hook/2

Name:     compute_and_assert_backjump_clause_get_level/6

Name:     b_neg_to_cnf_aux/5

Name:     get_version_from_parser/1

Name:     lookup_id/3

Name:     merge_parallels_normalize/2

Name:     z3_type_to_b_type/2

Name:     b_disj_create_one_sat_var/3

Name:     translate_z3_predicate/3

Name:     b_to_cnf/4

Name:     is_pge_opt_on/1

Name:     mk_expr_skip/6

Name:     cleanups/7

Name:     before_after_predicate_no_equalities_aux/3

Name:     merge_assigns_and_anys/3

Name:     b_to_cnf/3

Name:     mk_value_aux/7

Name:     random_luby_restart/1

Name:     check_transition/3

Name:     explain_theory_propagation/5

Name:     get_ltl_readsets/2

Name:     get_dependency_status/2

Name:     reuse_or_introduce_bool_var/10

Name:     get_conflict_clause_from_unsat_core/3

Name:     trace_if_user_wants_it/0

Name:     print_error_span/1

Name:     print_error_context/2

Name:     print_error/1

Name:     print_error_source/1

Name:     true

Name:     \=/2

Name:     error_limit_reached/0

Name:     =/2

Name:     ->/3

Name:     register_error_span/3

Name:     formatsilentmsg/3

Name:     extract_span_description/2

Name:     is_optional_error_or_warning/1

Name:     log_error_or_msg/3

Name:     assertz_logged_error_if_new/5

Name:     simplify_span/2

Name:     reset_error_span_if_required/0

Name:     safe_translate_context/1

Name:     add_error4/4

Name:     add_warning/2

Name:     add_warning/4

Name:     add_internal_error/2

Name:     !

Name:     alloy_pl_filename/2

Name:     tla2b_filename/2

Name:     tla2prob_filename/2

Name:     prob_filename/2

Name:     fuzz_filename/2

Name:     ajoin/2

Name:     !

Name:     extract_additional_pos_and_descr/3

Name:     extract_context_msg/3

Name:     add_error/3

Name:     !

Name:     select_section/5

Name:     perform_static_analyses/3

Name:     check_apply_with_element_constraint/5

Name:     get_bind_skeleton/2

Name:     unpack_values/2

Name:     start_ltsmin/4

Name:     solve_core_pred/4

Name:     wrap_and_truncate_atom/4

Name:     assert_true/1

Name:     convert_case_type/4

Name:     mark_closure3/3

Name:     call_dot_command_for_dotfile/3

Name:     incr_pack_bind_list/4

Name:     get_max_cardinality_as_priority/2

Name:     check_prob_file_not_empty/4

Name:     smt_solve_predicate6/6

Name:     assign_z3_aux/3

Name:     verify_alloy_command/5

Name:     safe_functor/4

Name:     check_lifecycle/1

Name:     cli_trans_aux/7

Name:     same_parser_version/2

Name:     length_list/2

Name:     optlist_to_list/2

Name:     stop_ms_timer/2

Name:     cdclt_solve_predicate_no_timeout_cleanup/3

Name:     precompute_values3/4

Name:     get_match_ids2/3

Name:     safe_set_sort/3

Name:     is_lambda_result_annotated/2

Name:     cleanup_phase2/11

Name:     safe_read_term2/5

Name:     convert_list_into_pairs/2

Name:     translate_solver_name/3

Name:     get_conj_inv_predicate/3

Name:     pack_state/2

Name:     instantiate_quantifiers_e/6

Name:     time_out_with_enum_warning_one_solution_no_new_error_scope/3

Name:     add_freetype/2

Name:     write_history_state/3

Name:     call_plantuml_command_for_pumlfile/3

Name:     global_environment/3

Name:     split_last_lst/4

Name:     store_virtual_event/1

Name:     write_history_op/4

Name:     get_filename/3

Name:     add_fixed_conj/3

Name:     check_options/1

Name:     stream_ready_to_read/2

Name:     extract_op/2

Name:     cdclt_solve_predicate_no_timeout_setup/8

Name:     instantiate_quantifiers/4

Name:     safe_sort/3

Name:     get_override/3

Name:     pack_bind_list/3

Name:     simplify_non_membership_predicate/4

Name:     reorder/4

Name:     check_cbc_solve_opts/1

Name:     rewrite_local_loop_check/5

Name:     b_tighter_enumerate_values/3

Name:     safe_read_exception/6

Name:     precompute_values_e/6

Name:     map_optlist_aux/2

Name:     fetch_predicate/4

Name:     compare/6

Name:     b_escape_json_string_atom/2

Name:     announce_event/1

Name:     call_optional_aux/3

Name:     call_for_event/2

Name:     pack_values/2

Name:     read_trace/4

Name:     write_operation1/1

Name:     write_state_id/2

Name:     app1/3

Name:     is_true/1

Name:     unpack_value/2

Name:     treat_list_generators/4

Name:     b_escape_string_atom/2

Name:     check_value/4

Name:     maplist5/5

Name:     rewrite_phase2/12

Name:     latex_escape_atom/2

Name:     smt_add_extra_clause_cnf/2

Name:     assert_option/1

Name:     pack_value/2

Name:     split_last/4

Name:     optlist_to_list_aux/4

Name:     missing_parser_diagnostics/0

Name:     get_amount_of_sat_variables/2

Name:     get_section/3

Name:     treat_exception/3

Name:     b_extract_typedvalc_var/5

Name:     b_type_value_in_store/3

Name:     check_result_instantiation/2

Name:     lift_negations_find_impls_e/7

Name:     safe_atom_codes/2

Name:     mnf1/1

Name:     smt_solve_cnf/2

Name:     replace_sets_by_records3/8

Name:     remove_conjunct/3

Name:     read_machines/6

Name:     add_failed_call_error/1

Name:     safe_number_codes/2

Name:     read_machine_term_from_list_of_facts/3

Name:     register_predicate/5

Name:     copy_smt_solution/2

Name:     get_tail_filename/2

Name:     line_to_state/3

Name:     get_init_option_paras/3

Name:     assign_z3_model/2

Name:     extract_do_not_enum_ids_from_predicate/2

Name:     generate_typed_var_list/5

Name:     b_to_cnf_safe/3

Name:     add_error/4

Name:     select_section/5

Name:     perform_static_analyses/3

Name:     check_apply_with_element_constraint/5

Name:     get_bind_skeleton/2

Name:     unpack_values/2

Name:     start_ltsmin/4

Name:     solve_core_pred/4

Name:     wrap_and_truncate_atom/4

Name:     assert_true/1

Name:     convert_case_type/4

Name:     mark_closure3/3

Name:     call_dot_command_for_dotfile/3

Name:     incr_pack_bind_list/4

Name:     get_max_cardinality_as_priority/2

Name:     check_prob_file_not_empty/4

Name:     smt_solve_predicate6/6

Name:     assign_z3_aux/3

Name:     verify_alloy_command/5

Name:     safe_functor/4

Name:     check_lifecycle/1

Name:     cli_trans_aux/7

Name:     same_parser_version/2

Name:     length_list/2

Name:     optlist_to_list/2

Name:     stop_ms_timer/2

Name:     cdclt_solve_predicate_no_timeout_cleanup/3

Name:     precompute_values3/4

Name:     get_match_ids2/3

Name:     safe_set_sort/3

Name:     is_lambda_result_annotated/2

Name:     cleanup_phase2/11

Name:     safe_read_term2/5

Name:     convert_list_into_pairs/2

Name:     translate_solver_name/3

Name:     get_conj_inv_predicate/3

Name:     pack_state/2

Name:     instantiate_quantifiers_e/6

Name:     time_out_with_enum_warning_one_solution_no_new_error_scope/3

Name:     add_freetype/2

Name:     write_history_state/3

Name:     call_plantuml_command_for_pumlfile/3

Name:     global_environment/3

Name:     split_last_lst/4

Name:     store_virtual_event/1

Name:     write_history_op/4

Name:     get_filename/3

Name:     add_fixed_conj/3

Name:     check_options/1

Name:     stream_ready_to_read/2

Name:     extract_op/2

Name:     cdclt_solve_predicate_no_timeout_setup/8

Name:     instantiate_quantifiers/4

Name:     safe_sort/3

Name:     get_override/3

Name:     pack_bind_list/3

Name:     simplify_non_membership_predicate/4

Name:     reorder/4

Name:     check_cbc_solve_opts/1

Name:     rewrite_local_loop_check/5

Name:     b_tighter_enumerate_values/3

Name:     safe_read_exception/6

Name:     precompute_values_e/6

Name:     map_optlist_aux/2

Name:     fetch_predicate/4

Name:     compare/6

Name:     b_escape_json_string_atom/2

Name:     announce_event/1

Name:     call_optional_aux/3

Name:     call_for_event/2

Name:     pack_values/2

Name:     read_trace/4

Name:     write_operation1/1

Name:     write_state_id/2

Name:     app1/3

Name:     is_true/1

Name:     unpack_value/2

Name:     treat_list_generators/4

Name:     b_escape_string_atom/2

Name:     check_value/4

Name:     maplist5/5

Name:     rewrite_phase2/12

Name:     latex_escape_atom/2

Name:     smt_add_extra_clause_cnf/2

Name:     assert_option/1

Name:     pack_value/2

Name:     split_last/4

Name:     optlist_to_list_aux/4

Name:     missing_parser_diagnostics/0

Name:     get_amount_of_sat_variables/2

Name:     get_section/3

Name:     treat_exception/3

Name:     b_extract_typedvalc_var/5

Name:     b_type_value_in_store/3

Name:     check_result_instantiation/2

Name:     lift_negations_find_impls_e/7

Name:     safe_atom_codes/2

Name:     mnf1/1

Name:     smt_solve_cnf/2

Name:     replace_sets_by_records3/8

Name:     remove_conjunct/3

Name:     read_machines/6

Name:     add_failed_call_error/1

Name:     safe_number_codes/2

Name:     read_machine_term_from_list_of_facts/3

Name:     register_predicate/5

Name:     copy_smt_solution/2

Name:     get_tail_filename/2

Name:     line_to_state/3

Name:     get_init_option_paras/3

Name:     assign_z3_model/2

Name:     extract_do_not_enum_ids_from_predicate/2

Name:     generate_typed_var_list/5

Name:     b_to_cnf_safe/3

Name:     add_message_direct/2

Name:     !

Name:     error_manager_silent_mode/1

Name:     add_debug_message/4

Name:     b_pred_to_cnf_wf/8

Name:     unsat_core_wth_auto_time_limit/5

Name:     detect_partitions_in_predicates/2

Name:     add_translation_failure/3

Name:     check_record_construction_ok/2

Name:     get_full_pred/9

Name:     keyword_clash/1

Name:     check_unused_ids/0

Name:     add_message/3

Name:     add_message/4

Name:     add_debug_message/4

Name:     b_pred_to_cnf_wf/8

Name:     unsat_core_wth_auto_time_limit/5

Name:     detect_partitions_in_predicates/2

Name:     add_translation_failure/3

Name:     check_record_construction_ok/2

Name:     get_full_pred/9

Name:     keyword_clash/1

Name:     check_unused_ids/0

Name:     add_message/3

Name:     assertz/1

Name:     log_error_or_msg/3

Name:     print_error_span/2

Name:     print_error_context/2

Name:     safe_translate_context/1

Name:     add_message_direct/2

Name:     string_concatenate/3

Name:     safe_translate_error_term/3

Name:     !

Name:     error_manager_silent_mode/1

Name:     add_debug_message/4

Name:     b_pred_to_cnf_wf/8

Name:     unsat_core_wth_auto_time_limit/5

Name:     detect_partitions_in_predicates/2

Name:     add_translation_failure/3

Name:     check_record_construction_ok/2

Name:     get_full_pred/9

Name:     keyword_clash/1

Name:     check_unused_ids/0

Name:     add_message/3

Name:     print_error/2

Name:     true

Name:     format_with_colour/4

Name:     show_error_source/0

Name:     ->/3

Name:     add_message/2

Name:     add_message/4

Name:     add_new_event_in_error_scope/2

Name:     add_abort_error2/8

Name:     call/3

Name:     assertz/1

Name:     throw/1

Name:     print_message/2

Name:     true

Name:     debug_mode/1

Name:     ->/3

Name:     throw_error/3

Name:     fail

Name:     specific_event_occurred_at_level/2

Name:     get_counter/2

Name:     add_abort_error2/8

Name:     add_error_or_warning/3

Name:     assert_warning_occured/0

Name:     compute_state_space_transitions_if_necessary2/2

Name:     less_eq_for_type_except_enumerated_set/3

Name:     compute_operation_relations_for_pge/1