Handle list conjugation in SymbolicReader.