Changes to acommodate precedence predicate transitions.