ArraySubExpr parsing inconvenient

[kfhoech]

In the AGREE grammar the ArraySubExpr allows a full Expr for the index expression but requires only a TagExpr for the array expr. This is inconvenient in that the array expr ought to allow a more general expr. See the following model illustrating the problem.

package Array_Parse
public
	with Base_Types;
	with Data_Model;

	data Alpha
		properties
			Data_Model::Data_Representation => Struct;
	end Alpha;

	data implementation Alpha.impl
		subcomponents
			x : data Base_Types::Integer;
			y : data Base_Types::Integer;
	end Alpha.impl;
	
	data Beta
		properties
			Data_Model::Data_Representation => Struct;
	end Beta;

	data implementation Beta.impl
		subcomponents
			m : data Alpha.impl[2];
	end Beta.impl;
	
	system Epsilon
		features
			inp : in data port Beta.impl;
		annex agree {**
			-- This parses
			assume "Input" : (inp.m[1]).x = 1;
			-- This doesn't parse'
			assume "Input" : inp.m[1].x = 1;
		**};
	end Epsilon;

end Array_Parse;