[not loaded]All predicatesShow sourceweight_seq_scasp.pl