Some tools for manipulation of configuration trees