Added predicate type for invariant.