Une opération en une étape doit inclure un test de nœud ou, dans le cas d'un prédicat, une expression algébrique par rapport ...

Une opération en une étape doit inclure un test de nœud ou, dans le cas d'un prédicat, une expression algébrique par rapport à laquelle le test de chaque nœud du jeu de nœuds identifié par le jeu de nœuds précédent peut être évalué.