added dumping of postdomtree + const correctness