Remove some redundant code in the compilation of `retract/1` calls