Index assertion predicate must be part of prolog_repository too,