Predicates ordering when inserted into stack.