Add defined/undefined predicates