Invalid result when importing constraint definition whose result expression uses locally-defined parameters

[pcdavid]

Steps to reproduce

1. Create a new project
2. From the Explorer, on the main Package1, select New object from text
3. Enter the text below and validate.

import ScalarValues::*;
import NumericalFunctions::*;

constraint def MassConstraint {
    in totalMass : Real; 
    in partMasses : Real[0..*];
        
    totalMass == sum(partMasses)
}

Expected result

The new constraint def is imported without errors and the result model is conform to the text.

Actual result

The import process shows 2 errors, which seem to indicate that when paring the totalMass == sum(partMasses) result expression, the two locally-defined features totalMass and partMasses are not resolved.

Unable to resolve name 'totalMass' for reference 'memberElement' on element '[Membership] Package1::MassConstraint::<ResultExpressionMembership>::<OperatorExpression>::<ParameterMembership>::<Feature>::<FeatureValue>::<FeatureReferenceExpression>::<Membership>'
Unable to resolve name 'partMasses' for reference 'memberElement' on element '[Membership] Package1::MassConstraint::<ResultExpressionMembership>::<OperatorExpression>::<ParameterMembership>::<Feature>::<FeatureValue>::<InvocationExpression>::<ParameterMembership>::<Feature>::<FeatureValue>::<FeatureReferenceExpression>::<Membership>'

Indeed, in the resulting model, for the result expression we see the equivalent of <unresolved Feature Reference Expression> == sum(<unresvoled Feature Reference Expression>).

[pcdavid]

Note the the raw JSON result of the parser seems to be fine. For, example it contains this (simplified):

{
  "$type": "FeatureReferenceExpression",
  "expression": {
    "$type": "Membership",
    "targetRef": {
      "$type": "FeatureReference",
      "text": "totalMass",
      "reference": "MassConstraint::totalMass",
      "parts": [
        "MassConstraint::totalMass"
      ]
    },
  },
  "$cstNode": { "text": "totalMass" },
},

which seems to indicate that it resolved the plain totalMass name into the actual element (MassConstraint::totalMass).