Added an example test#runtime023 that exposes a similar issue, but involving the feature `copy` rather than a class invariant as in test#runtime022.