A Combination of Cutset Conditioning with Clique-Tree Propagation in the Pathfinder System