Determinacy Checker
Determinacy Checker:
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_5107,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/coverage/coverage_term_expander.pl')])
* Non-determinate: user:
merge_results/3
(clause 1)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: user:
merge_results/3
(clause 2)
* Indexing cannot distinguish this from clause 4.