[not loaded]All predicatesShow sourceloop_succ_pos.pl