Do not use two distinct undo stacks for taking care of which symbols are in use
at a given program point. Let `Alpha` manages everything internally.