Tree decomposer returns modify tree + Maps in BFS order.

The Tree Decomposer now returns a modifies tree along with Maps
of the symbols, types, names zipped with their occurence in BFS
order.
Modification of the TODO : need to re-insert the positions in
the new tree.