The node you are looking for is at
precise-type-checks
.