The current version of pack rtchecks does not contain a file prolog/varnames/pretty_names.pl
rtchecks
prolog/varnames/pretty_names.pl