All the checks will still be applied in the inner function at least once
on every input value. However, for subsequent calls of the outer
node on the same input values (for output memory checking), the inner
function call will be much faster.