Non-optimal decomposition when using iden/*

When translating from Alloy to Kodkod, `iden` calls are translated into `iden & A1 + ... + An -> univ", for sigs `A ... An`. This means that purely static expressions that use `iden` are still be identified as variable by the slicer, this any variable sig `Ai` will occur in it.