⁴In an SSA based IR this step is not necessary for SSA variables, since the captured ones are guaranteed to stay unchanged.