The current version of pack xtools does not contain a file prolog/checkers/check_non_mutually_exclusive.pl
xtools
prolog/checkers/check_non_mutually_exclusive.pl