In order to use shared updates to pre-allocate the storage for mit-mot input and
output loops, `Scan` would need to remove the corresponding mit-mot outputs from
its inner-`FunctionGraph` before compilation and it would expect the `Function`
compilation pipeline to add them back at the end of the remaining outputs.

Now, `Scan`'s inner-`FunctionGraph`s maintain the same form at every point, and
no special logic is needed to compensate for post-compilation changes in the
order/location of inputs and outputs.