All predicatesShow sourceflags.pl