undo() err returns an Error for the error e, capturing the current parser Position.
(e error)
source not stored for this graph (policy: none)
no test coverage detected