Throw if using well-known predicates

Throw if using well-known predicates #4271