Un'operazione step deve includere un test del nodo oppure, nel caso di un predicato, è possibile valutare un'espressione ...

Un'operazione step deve includere un test del nodo oppure, nel caso di un predicato, è possibile valutare un'espressione algebrica da utilizzare per il test di ogni nodo nell'insieme di nodi identificato dall'insieme di nodi precedente.