improve error messages for broken exists/nonempty conditions