AGREE validator may incorrectly recognize property type as expression

[kfhoech]

When writing expressions in AGREE annexes, incorrectly referencing a property type declaration as if it were a value expression does not result in this erroneous construct being flagged by the validator.

In the following example, the value expression Data_Model::Code_Set is actually a property and not a value analyzable by AGREE:

package Scratch_Pkg
public
	with Data_Model;
	system Scratch
		annex agree {**
			eq x : int = Data_Model::Code_Set;
		**};
	end Scratch;
end Scratch_Pkg;

[kfhoech]

Resolved by Pull Request 112.