id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6163	Constrainedby clause not verified by the NF	Francesco Casella	Per Östlund	"Consider the attached test package. The {{{Component}}} model is invalid, because it calls function {{{fa}}} which is contained in the default {{{AdvancedMedium}}} package, but is not defined in the constraining class {{{BaseMedium}}}. Unfortunately, {{{Component}}} is checked successfully.

This is too bad, because {{{SystemBroken}}} should be fine, according to the constraining class clause. In fact, it is broken because {{{Component}}} is not valid in the first place.

The NF should eventually check that the models are valid under the constraining class clause, and report an error if they aren't."	defect	new	high	2.1.0	New Instantiation