IN: Symbolvorkommen OUT: boolscher Wert SEM: Test, ob ein Prädikat vorliegt PRECOND: Predicates.Check muss vorher ausgewertet sein
See Implementation
IN: Symbolvorkommen OUT: boolscher Wert SEM: Test, ob ein Prädikat vorliegt PRECOND: Predicates.Check muss vorher ausgewertet sein