²Note that this is actually a bit of a hack. The rational for Save and Restore variables was to deal with maximal slicing. However it turned out that I hadn’t thought it through correctly and that the treatment for constrained variables was required.