Added predicate asserts