[not loaded]All predicatesShow sourcesucc.pl