The node you are looking for is at
Solver types and negated contexts
.