
| Copy                                                                                           | lazily, cond.                                      | never                    | lazily, cond.   | cond.                  | never        | always    | cond.   |
|------------------------------------------------------------------------------------------------|----------------------------------------------------|--------------------------|-----------------|------------------------|--------------|-----------|---------|
| Mutation                                                                                       | cond.                                              | never                    | never           | cond.                  | cond.        | never     | never   |
| EnumLiteral, Predicate, Enumeration, DataType, Model                                           | Table 3. Experimental results: referenced elements |                          |                 |                        |              |           |         |
| classInstantiation                                                                             | NONE                                               | Class                    | NONE            | Variable               | NONE         | ALL OTHER |         |
| enumRemoval                                                                                    | NONE                                               | EnumLiteral, Enumeration | NONE            | Variable, VariableExpr | NONE         | ALL OTHER | NONE    |
| EnumLiteral, Predicate, Enumeration, Constant, DataType, Variable, Record, Class, Model, Array | SetDomain, IntervalDomain                                                    |                          |                 |                        |              |           |         |
| forallRemoval                                                                                  | Forall, VariableExpr                               | NONE                     | ALL OTHER       | IndexVariable          | NONE         | EnumLiteral, Predicate, IndexVariable, Constraint,           |         |
| recordRemoval                                                                                  | NONE                                               | Record                   | NONE            | NONE                   | PropertyExpr | ALL OTHER |         |
| Enumeration, Constant, DataType, If, Model, Forall                                             |                                                    |                          |                 |                        |              |           |         |
| uselessIfRemoval                                                                               | NONE                                               | NONE                     | NONE            | NONE                   | NONE         | ALL OTHER | If      |
