SymbolValueRecord
} else if (tupleRecord instanceof SymbolValueRecord) {
public final class KernelSymbolRecord implements SymbolValueRecord,
SymbolValueRecord symbol = SymbolValueRecord.class.cast(rec);
public final class UserSymbolRecord implements SymbolValueRecord,