# The set of all collected formal parameters
	var pts = new HashSet[MParameterType]