RandomSymbols hold string, not Symbol
subs works on empty substitution
compute_innermost does not dive within nonexprs
RandomSymbol again owns symbol.  No longer atom