Declarative ReferenceValue in instance model

[joeseibel]

The instantiator should place an error on the instance model for the following declarative model:

package pkg1
public
  with ps1;

  system s1
    features
      f1: feature[];
    properties
      ps1::def1 => reference (f1[3]);
  end s1;

  system implementation s1.i
  end s1.i;
end pkg1;

Currently, the instantiator places a declarative ReferenceValue in the instance model. Instead, the instantiator should complain.

[lwrage]

Fixed in fe9bb75