It is invalid if the same decoration is applied to the same id multiple times. This adds a check before adding a decoration that the decoration is not already in the list. If it is, then the duplicate is not added. Fixes #3627
Also, if this capability is added and the memory model is not otherwise enabled by pragma, enable it as part of postprocessing.