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