Add more error predicates