id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4901	The NF does not check if redeclared functions are legal	Francesco Casella	Per Östlund	"Please consider the attached test package.

The model Test.Test_f_wrong should fail, because WrongPackage.f is not a subtype of BasePackage.f"	defect	new	high	2.1.0	New Instantiation