public TopType getTopType() { return topInstance;
public Type getTopType() { return signatureToTypeMap.get(SpecialTypeSignatures.TOP_TYPE_SIGNATURE);
	public TopType getTopType() {		return topInstance;	}