[not loaded]All predicatesShow sourcetoh_incremental_7.pl