id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
327	Add key-value annotations to AST nodes	zirkel	stachnik	ASTNodeIF needs to have methods to add and get annotations.  Annotations are key-value pairs, where the keys are strings and the values are any object.  These can be used, for example, to annotate whether an invariant is sequential, collective, or joint.	enhancement	closed	major		ast		fixed