id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
29	Check well-formedness of bound witnesses in letregion	benl		The source to core translation shouldn't create malformed witnesses, but we should check them in core anyway.	enhancement	new	minor		Build System