Moving code around in SymbolAbstraction.fromSymbol