public BottomType getBottomType() { return bottomInstance;
public Type getBottomType() { return signatureToTypeMap.get(SpecialTypeSignatures.BOTTOM_TYPE_SIGNATURE);
	public BottomType getBottomType() {		return bottomInstance;	}