The node you are looking for is at Operations on variables in abstract values.