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