Fixed bug that subclasses of Module did not call Module::select() in select()
Tree decomposer now allows to select elimination ordering for bucket elimination