Make read-symbol-positions-list more accurate