Fixed some flattening strategies. Added tests for flattening.

Fixed DepthFirstPostOrder strategie. Added own implemetation of a
breadth-first traversal, since Kiama's one seems to be broken.