@Override
	public HighSymbol getHighSymbol(HighFunction highFunction) {
		HighVariable hvar = getHighVariable();
		if (hvar != null) {
			HighSymbol symbol = hvar.getSymbol();
			if (symbol != null) {
				return symbol;
			}
		}
		return null;
	}
A token representing a switch "case" label, or other constant not directly linked to data-flow.
The token has an associated constant value and a data-type
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/ClangCaseToken.java