We currently have in-place variants of OpenFHE and lattigo ops provide an SSA value that shallowly refers to the corresponding mutated operand. This may not be necessary, and may simplify some of the code to remove it and update the analyses to track the mutated operand directly.
I did not implement this for the OpenFHE in-place pass mainly due to time pressures for a paper deadline.