Renamed CountFewestNodes to FewestNodes
Renamed CountFewestNodes to FewestNodes
Added most probable semiring