Ordem de execução de regras e fórmulas em transações

As regras são especificadas de forma declarativa. Nunca falamos qual será a sequencia de execução de regras e o momento de disparo das fórmulas. Então, como GeneXus determina a ordem no programa associado da transação gerada? Extrai as dependências entre regras e fórmulas e controi a árvore de dependências ou de avaliação que determina a sequência de execução.