Pushdown Systems and Boolean Programs -- Languages of Nested Trees -- Improving Pushdown