The relationships among predicates are tracked globally by uniformly treating both control flow and explicit predicates by mapping them to a single connected partition graph. This allows for the analysis of predicate relations based on the scope of an entire procedure. This predicate analysis can be invoked by various phases of compiler optimization without being constrained by an incremental update of any persistent data structures.

Os relacionamentos entre predicados são seguidos global pelo fluxo uniformemente de tratamento do controle e por predicados explícitos traçando os a um único gráfico conectado da divisória. Isto permite a análise das relações do predicado baseadas no espaço de um procedimento inteiro. Esta análise do predicado pode ser invocada por várias fases do optimization do compilador sem ser confinado por um update incremental de todas as estruturas de dados persistentes.