Updates for DualDecomposition

*default ordering for Astar