Test case that shows that NOT IN() predicates are not produced correctly