Ein Schrittvorgang muss entweder einen Knotentest oder, bei einem Prädikat, einen algebraischen Ausdruck umfassen, gegen ...