some more tests
optimization of mapPostorder

replace maps by inline loop to reduce some stack overhead.
The committed file qg7_gensys_brn003.smt2 was producing a
stack oveflow due to the mapPostorder method.