db.restore recovers bindings of variables by reading db.VariableStack cf. localVariables, restoreVariables, db.clear, db.where , debugMode