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),_3171,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/plugins/probvm/probvm_termexpansion.pl')])
* Non-determinate: user:
term_expansion/6
(clause 1)
* This predicate is multifile, and this clause has no cut.