Quando temos fórmulas do tipo à espera de com vários operadores são necessárias regras mais genéricas. A versão mais genérica da regra B-WAIT é apresentada na figura 5.5. Na figura 5.6 é apresentada a versão mais genérica da regra G-WAIT.
No STeP a regra G-WAIT que é disponibilizada corresponde à versão mais genérica da figura 5.6. A regra B-WAIT difere da versão aqui apresentada, sendo implementada à custa da regra G-WAIT assumindo-se automaticamente .