Added check-expects for my new predicate