I'm unsure which path we should pass here. Should it be only starting at the traversed parameter object? In other words, should we omit the nodes representing the executable and the parameter/return value? This might make sense for compatability with existing interpolator implementations. WDYT?