The current version of pack assertions does not contain a file prolog/dialect/ciao/nativeprops.pl
assertions
prolog/dialect/ciao/nativeprops.pl