ST

	List<String>	List<Object>
ST(Ui) the set of supertypes of Ui.	ST(List<String>)= {  List<String>,  Collection<String>,  Object  }	ST(List<Object>)= {  List<Object>,  Collection<Object>,  Object  }
EST(Ui) the set of erased supertypes of U	EST(List<String>)= {  List,  Collection,  Object  }	EST(List<Object>)= {  List,  Collection,  Object }
EC the intersection of all the sets EST(Ui)	EC = {  List,  Collection,  Object  }
MEC the minimal erased candidate set for U1 ... Uk	MEC = {  List  }
Relevant(G) Relevant(G) = {  V | 1≤i≤k: V in ST(Ui) and V=G<...>  }	Relevant(List) = {  List<String>,  List<Object> }