add test for iInv with accessor variables
This feature is not used by Iris itself, but is used in GPFSL (where the accessor variable is a view).
Also add an ElimAcc
instance for basic updates mirroring that of fancy updates.
This feature is not used by Iris itself, but is used in GPFSL (where the accessor variable is a view).
Also add an ElimAcc
instance for basic updates mirroring that of fancy updates.