for `CapturingClosureArgumentNode`. Unless we define it for every single `CallNode`, we need a more sophisticated mutual recursion with the call graph construction. There is built-in support for that, but we are currently not using it.