The current version of pack assertions does not contain a file prolog/engine/term_typing.pl
assertions
prolog/engine/term_typing.pl