The node you are looking for is at
variable-type-inference
.