Determinacy Checker
Determinacy Checker:
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(no_terminal_colors,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_enter_debugger_upon_error,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_avl_custom,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_myheap,false)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(disable_chr,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_54801,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes_lib.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_24527,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_17573,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(debug) does not exist
! goal: absolute_file_name(probsrc(debug),_15909,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_16007,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_records.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_107949,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('random_permutations/random_permutations') does not exist
! goal: absolute_file_name(extension('random_permutations/random_permutations'),_107949,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/fd_utils_clpfd.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_lists) does not exist
! goal: absolute_file_name(probsrc(tools_lists),_133093,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_tools.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_135237,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/runtime_profiler.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_141215,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_141357,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_ast_cleanup.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_146625,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_space.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_145861,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_svg) does not exist
! goal: absolute_file_name(extrasrc(external_functions_svg),_145861,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in user:
check_arithmetic_function/1
! procedure user:
check_arithmetic_function/1
does not exist
! goal: user:check_arithmetic_function(log(2,4))
! Existence error in argument 1 of absolute_file_name/3
! file chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_147157,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/clpfd_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_146483,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_z.pl')])
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_147477,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_strings.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_freetypes) does not exist
! goal: absolute_file_name(probsrc(kernel_freetypes),_141215,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_226945,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.pl')])
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(logarr))
! Existence error in argument 1 of absolute_file_name/3
! file probcspsrc(haskell_csp) does not exist
! goal: absolute_file_name(probcspsrc(haskell_csp),_226799,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_230079,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_machine_hierarchy.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_226945,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/value_persistance.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_214719,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/specfile.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_208457,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/parsercall.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_211457,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pragmas.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_208745,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_eventb.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_178059,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_reals) does not exist
! goal: absolute_file_name(probsrc(kernel_reals),_164243,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter_check.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_158549,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_equality.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_141637,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsets_clp.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_141637,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_reals.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_135237,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_133093,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/delay.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_133093,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_compiler.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_data_validation_mode,xxxtrue)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_data_validation_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_107949,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/custom_explicit_sets.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_82237,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_objects.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_77111,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_freetypes.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_73689,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/typing_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_44707,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_44853,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(gensym) does not exist
! goal: absolute_file_name(probsrc(gensym),_15719,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/translate.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_15865,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_read_write_info.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine_eventb) does not exist
! goal: absolute_file_name(probsrc(bmachine_eventb),_8893,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/btypechecker.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_12457,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_11077,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
* Non-determinate: bmachine_construction:
check_machine/4
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
check_machine/4
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_println/2
.
* Non-determinate: bmachine_construction:
create_sequence/2
(clause 1)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: bmachine_construction:
add_refined_machine/4
(clause 1)
* Indexing cannot distinguish this from clause 2.
! warning: predicate bmachine_construction:
machine_promotes_operations/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic bmachine_construction:
machine_promotes_operations/2
.
! near the top of this file.
* Non-determinate: bmachine_construction:
include_machine/5
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_println/2
.
* Non-determinate: bmachine_construction:
prefix_machine/3
(clause 2)
* Calls nondet predicate bmachine_construction:
debug_println/2
.
* Non-determinate: bmachine_construction:
extend_not_included_uses/5
(clause 2)
* Calls nondet predicate bmachine_construction:
debug_format/3
.
* Non-determinate: bmachine_construction:
extend_not_included_uses2/4
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_format/3
.
* Non-determinate: bmachine_construction:
generate_raw_machine/6
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
generate_raw_machine/6
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: bmachine_construction:
use_usage/3
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: bmachine_construction:
include_usage/3
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: bmachine_construction:
change_definition_style2/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
is_external_declaration/1
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_format/3
.
* Non-determinate: bmachine_construction:
external_name/5
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: bmachine_construction:
external_name/5
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: bmachine_construction:
store_ext_def/3
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_println/2
.
* Non-determinate: bmachine_construction:
store_ext_def/3
(clause 2)
* Calls nondet predicate bmachine_construction:
debug_println/2
.
* Non-determinate: bmachine_construction:
create_ids_for_constructor/4
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
create_properties_for_freetype/9
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_format/3
.
* Non-determinate: bmachine_construction:
extract_values_entry/5
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_println/2
.
* Non-determinate: bmachine_construction:
raw_member/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
raw_member/2
(clause 4)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: bmachine_construction:
assert_machine_order/1
(clause 1)
* Calls nondet predicate bmachine_construction:
debug_print/2
.
* Non-determinate: bmachine_construction:
machine_reference/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
machine_reference/2
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: bmachine_construction:
machine_reference/2
(clause 2)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: bmachine_construction:
merge_refinement_and_abstraction/5
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
propagate_aops/9
(clause 2)
* Calls nondet predicate bmachine_construction:
debug_format/3
.
* Non-determinate: bmachine_construction:
visibility/5
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
visibility/5
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: bmachine_construction:
visibility/5
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: bmachine_construction:
visibility/5
(clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: bmachine_construction:
visibility/5
(clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: bmachine_construction:
visibility/5
(clause 6)
* Indexing cannot distinguish this from clause 7.
* Non-determinate: bmachine_construction:
visibility/5
(clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: bmachine_construction:
visibility/5
(clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
visibility/5
(clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: bmachine_construction:
visibility/5
(clause 10)
* Indexing cannot distinguish this from clause 11.
* Non-determinate: bmachine_construction:
visibility/5
(clause 11)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: bmachine_construction:
visibility/5
(clause 12)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: bmachine_construction:
visibility/5
(clause 13)
* Indexing cannot distinguish this from clause 14.
* Non-determinate: bmachine_construction:
visibility/5
(clause 14)
* Indexing cannot distinguish this from clause 15.
* Non-determinate: bmachine_construction:
visibility/5
(clause 15)
* Indexing cannot distinguish this from clause 16.
* Non-determinate: bmachine_construction:
visibility/5
(clause 16)
* Indexing cannot distinguish this from clause 17.
* Non-determinate: bmachine_construction:
visibility/5
(clause 17)
* Indexing cannot distinguish this from clause 18.
* Non-determinate: bmachine_construction:
visibility/5
(clause 18)
* Indexing cannot distinguish this from clause 19.
* Non-determinate: bmachine_construction:
visibility/5
(clause 19)
* Indexing cannot distinguish this from clause 20.
* Non-determinate: bmachine_construction:
visibility/5
(clause 20)
* Indexing cannot distinguish this from clause 21.
* Non-determinate: bmachine_construction:
visibility/5
(clause 21)
* Indexing cannot distinguish this from clause 22.
* Non-determinate: bmachine_construction:
visibility/5
(clause 22)
* Indexing cannot distinguish this from clause 23.
* Non-determinate: bmachine_construction:
visibility/5
(clause 23)
* Indexing cannot distinguish this from clause 24.
* Non-determinate: bmachine_construction:
visibility/5
(clause 24)
* Indexing cannot distinguish this from clause 25.
* Non-determinate: bmachine_construction:
visibility/5
(clause 25)
* Indexing cannot distinguish this from clause 26.
* Non-determinate: bmachine_construction:
visibility/5
(clause 26)
* Indexing cannot distinguish this from clause 43.
* Non-determinate: bmachine_construction:
visibility/5
(clause 27)
* Indexing cannot distinguish this from clause 28.
* Non-determinate: bmachine_construction:
visibility/5
(clause 28)
* Indexing cannot distinguish this from clause 29.
* Non-determinate: bmachine_construction:
visibility/5
(clause 29)
* Indexing cannot distinguish this from clause 30.
* Non-determinate: bmachine_construction:
visibility/5
(clause 30)
* Indexing cannot distinguish this from clause 31.
* Non-determinate: bmachine_construction:
visibility/5
(clause 31)
* Indexing cannot distinguish this from clause 32.
* Non-determinate: bmachine_construction:
visibility/5
(clause 32)
* Indexing cannot distinguish this from clause 33.
* Non-determinate: bmachine_construction:
visibility/5
(clause 33)
* Indexing cannot distinguish this from clause 34.
* Non-determinate: bmachine_construction:
visibility/5
(clause 34)
* Indexing cannot distinguish this from clause 35.
* Non-determinate: bmachine_construction:
visibility/5
(clause 35)
* Indexing cannot distinguish this from clause 36.
* Non-determinate: bmachine_construction:
visibility/5
(clause 36)
* Indexing cannot distinguish this from clause 37.
* Non-determinate: bmachine_construction:
visibility/5
(clause 37)
* Indexing cannot distinguish this from clause 38.
* Non-determinate: bmachine_construction:
visibility/5
(clause 38)
* Indexing cannot distinguish this from clause 39.
* Non-determinate: bmachine_construction:
visibility/5
(clause 39)
* Indexing cannot distinguish this from clause 40.
* Non-determinate: bmachine_construction:
visibility/5
(clause 40)
* Indexing cannot distinguish this from clause 41.
* Non-determinate: bmachine_construction:
visibility/5
(clause 41)
* Indexing cannot distinguish this from clause 42.
* Non-determinate: bmachine_construction:
visibility/5
(clause 42)
* Indexing cannot distinguish this from clause 43.
* Non-determinate: bmachine_construction:
visibility/5
(clause 43)
* Indexing cannot distinguish this from clause 44.
* Non-determinate: bmachine_construction:
visibility/5
(clause 44)
* Indexing cannot distinguish this from clause 45.
* Non-determinate: bmachine_construction:
visibility/5
(clause 45)
* Indexing cannot distinguish this from clause 46.
* Non-determinate: bmachine_construction:
visibility/5
(clause 46)
* Indexing cannot distinguish this from clause 47.
* Non-determinate: bmachine_construction:
visibility/5
(clause 47)
* Indexing cannot distinguish this from clause 48.
* Non-determinate: bmachine_construction:
visibility/5
(clause 48)
* Indexing cannot distinguish this from clause 49.
* Non-determinate: bmachine_construction:
visibility/5
(clause 49)
* Indexing cannot distinguish this from clause 50.
* Non-determinate: bmachine_construction:
visibility/5
(clause 50)
* Indexing cannot distinguish this from clause 51.
* Non-determinate: bmachine_construction:
visibility/5
(clause 52)
* Indexing cannot distinguish this from clause 53.
* Non-determinate: bmachine_construction:
better_pos/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 1)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 2)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 3)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 4)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 5)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 6)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 7)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
get_id_kind/2
(clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: bmachine_construction:
is_abstraction/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)