The node you are looking for is at
Dynamic abstract type inference (DynComp)
.