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